Agda
Agda is a dependently typed functional programming language. The current version, Agda 2, is a full rewrite of the original system developed at Chalmers in 1999.
- Paradigm
- Functional
- First appeared
- 1999
- Reference
- Wikipedia article
Agda is a dependently typed functional programming language. The current version, Agda 2, is a full rewrite of the original system developed at Chalmers in 1999.