Sit-0.2022.3.18: Prototypical type checker for Type Theory with Sized Natural Numbers

Index

checkSit
checkFileSit
mainSit