Sit-0.2021.1.18: Prototypical type checker for Type Theory with Sized Natural Numbers
Contents
Index
Index
check
Sit
checkFile
Sit
main
Sit