The latest version of MiniAgda is 0.2022.3.11-0.
MiniAgda
Version 0.2018.11.6 revision 1 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
- https://github.com/andreasabel/miniagda/issues
- Category
- Dependent types
- Copyright
- n/a
- Homepage
- http://www.cse.chalmers.se/~abela/miniagda/
- Maintainer
- Andreas Abel <andreas.abel@cse.gu.se>
- Package URL
- n/a
- Stability
- n/a