{"id":21409898,"url":"https://github.com/stackbuilders/agdernoon","last_synced_at":"2026-02-23T02:36:56.509Z","repository":{"id":28283578,"uuid":"31795860","full_name":"stackbuilders/agdernoon","owner":"stackbuilders","description":"An afternoon of Agda at Stack Builders","archived":false,"fork":false,"pushed_at":"2015-03-25T23:51:26.000Z","size":248,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":6,"default_branch":"master","last_synced_at":"2025-03-16T17:46:25.056Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Agda","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/stackbuilders.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2015-03-07T00:51:35.000Z","updated_at":"2015-03-25T23:51:26.000Z","dependencies_parsed_at":"2022-08-26T15:00:31.050Z","dependency_job_id":null,"html_url":"https://github.com/stackbuilders/agdernoon","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/stackbuilders/agdernoon","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/stackbuilders%2Fagdernoon","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/stackbuilders%2Fagdernoon/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/stackbuilders%2Fagdernoon/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/stackbuilders%2Fagdernoon/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/stackbuilders","download_url":"https://codeload.github.com/stackbuilders/agdernoon/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/stackbuilders%2Fagdernoon/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29735759,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-23T02:24:00.660Z","status":"ssl_error","status_checked_at":"2026-02-23T02:22:56.087Z","response_time":90,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-22T17:35:02.417Z","updated_at":"2026-02-23T02:36:56.473Z","avatar_url":"https://github.com/stackbuilders.png","language":"Agda","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Agdernoon\n\nAn *Agdernoon* is an afternoon of Agda at\n[Stack Builders][stackbuilders].\n\n- Tested with Agda 2.4.2.2 and the Agda standard library 0.9.\n\n## The Agdernoon library\n\nThe Agdernoon library is a simplified version of the Agda standard\nlibrary.\n\n## The Agdernoon exercises\n\n- *Sums*.\n\n- *Lists*.\n\n- *Vectors*.\n\n- *Sublists* (Norell 2009, Exercise 2.3).\n\n## References\n\n- The Agda team (2015). The [Agda wiki][agda].\n\n- Bove, Ana and Peter Dybjer (2009). Dependent Types at Work. In:\n  Language Engineering and Rigorous Software Development (2008).\n  LNCS 5520. Springer, pp. 57–99.\n\n- Danielsson, Nils Anders et al. (Nov. 14, 2014). The Agda standard\n  library. Version 0.7.\n\n- Norell, Ulf (2009). Dependently Typed Programming in Agda. In:\n  Advanced Functional Programming (2008). LNCS 5832. Springer, pp.\n  230–266.\n\n- Sicard-Ramírez, Andrés (2011). Dependently Typed Functional\n  Languages (CB0683). EAFIT.\n\n[agda]: http://wiki.portal.chalmers.se/agda/pmwiki.php\n[stackbuilders]: http://www.stackbuilders.com/\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fstackbuilders%2Fagdernoon","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fstackbuilders%2Fagdernoon","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fstackbuilders%2Fagdernoon/lists"}