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