The latest version of Sit is 0.2023.8.3-1.
Sit
Version 0.2017.2.26 revision 0 uploaded by AndreasAbel.
Package meta
- Synopsis
- Prototypical type checker for Type Theory with Sized Natural Numbers
- Description
Sit = Size-irrelevant types
Sit is a prototypical language with an Agda-compatible syntax. It has dependent function types, universes, sized natural numbers, and case and recursion over natural numbers. There is a relevant and an irrelevant quantifier over sizes. For an example, see file test/Test.agda
- Author
- Anonymous
- Bug reports
- n/a
- Category
- Dependent types
- Copyright
- n/a
- Homepage
- NONE
- Maintainer
- Anonymous
- Package URL
- n/a
- Stability
- n/a