nanoAgda
Version 1.0.0 revision 0 uploaded by JeanPhilippeBernardy.
Package meta
- Synopsis
- A toy dependently-typed language
- Description
nanoAgda implements a type-checker for a toy dependently-typed language. The goal of the project is to provide a minimal type-checker with dependent types that can be easily fiddled with.
- Author
- Jean-Philippe Bernardy
- Bug reports
- n/a
- Category
- Dependent Types
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- jeanphilippe.bernardy@gmail.com
- Package URL
- n/a
- Stability
- n/a