A type checker and infer-er made in Haskell. It implements simple types such as Natural numbers, as well as complex types like pairs and lists.
Labels: haskell
A type checker and infer-er made in Haskell. It implements simple types such as Natural numbers, as well as complex types like pairs and lists.
Labels: haskell