The latest version of MiniAgda is 0.2022.3.11-0.
MiniAgda
Version 0.2014.9.12 revision 0 uploaded by AndreasAbel.
Package meta
- Synopsis
- A toy dependently typed programming language with type-based termination.
- Description
MiniAgda is a tiny dependently-typed programming language in the style of Agda. It serves as a laboratory to test potential additions to the language and type system of Agda. MiniAgda's termination checker is a fusion of sized types and size-change termination and supports coinduction. Equality incorporates eta-expansion at record and singleton types. Function arguments can be declared as static; such arguments are discarded during equality checking and compilation. Recent features include bounded size quantification and destructor patterns for a more general handling of coinduction.
- Author
- Andreas Abel and Karl Mehltretter
- Bug reports
- http://hub.darcs.net/abel/miniagda/issues
- Category
- Dependent types
- Copyright
- n/a
- Homepage
- http://www.tcs.ifi.lmu.de/~abel/miniagda/
- Maintainer
- Andreas Abel <andreas.abel@ifi.lmu.de>
- Package URL
- n/a
- Stability
- n/a