https://github.com/stackbuilders/agdernoon
An afternoon of Agda at Stack Builders
https://github.com/stackbuilders/agdernoon
Last synced: 3 months ago
JSON representation
An afternoon of Agda at Stack Builders
- Host: GitHub
- URL: https://github.com/stackbuilders/agdernoon
- Owner: stackbuilders
- Created: 2015-03-07T00:51:35.000Z (almost 11 years ago)
- Default Branch: master
- Last Pushed: 2015-03-25T23:51:26.000Z (almost 11 years ago)
- Last Synced: 2025-01-23T04:32:51.235Z (about 1 year ago)
- Language: Agda
- Homepage:
- Size: 242 KB
- Stars: 0
- Watchers: 7
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Agdernoon
An *Agdernoon* is an afternoon of Agda at
[Stack Builders][stackbuilders].
- Tested with Agda 2.4.2.2 and the Agda standard library 0.9.
## The Agdernoon library
The Agdernoon library is a simplified version of the Agda standard
library.
## The Agdernoon exercises
- *Sums*.
- *Lists*.
- *Vectors*.
- *Sublists* (Norell 2009, Exercise 2.3).
## References
- The Agda team (2015). The [Agda wiki][agda].
- Bove, Ana and Peter Dybjer (2009). Dependent Types at Work. In:
Language Engineering and Rigorous Software Development (2008).
LNCS 5520. Springer, pp. 57–99.
- Danielsson, Nils Anders et al. (Nov. 14, 2014). The Agda standard
library. Version 0.7.
- Norell, Ulf (2009). Dependently Typed Programming in Agda. In:
Advanced Functional Programming (2008). LNCS 5832. Springer, pp.
230–266.
- Sicard-Ramírez, Andrés (2011). Dependently Typed Functional
Languages (CB0683). EAFIT.
[agda]: http://wiki.portal.chalmers.se/agda/pmwiki.php
[stackbuilders]: http://www.stackbuilders.com/