typerbole (hackage): Please see README.md
Keywords: ast|bsd3|educational|lambda-cube|library|type-theory|typechecking|typesystems|lambda-calculus|typesystem