The latest version of Sit is 0.2023.8.3-1.
Sit
Version 0.2023.8.3 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
- Andreas Abel <andreas.abel@gu.se>
- Bug reports
- n/a
- Category
- Dependent types
- Copyright
- n/a
- Homepage
- https://github.com/andreasabel/Sit
- Maintainer
- Andreas Abel <andreas.abel@gu.se>
- Package URL
- n/a
- Stability
- n/a