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

Index

checkSit
checkFileSit
mainSit