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