/haskell-typecheck-combinators

A type checker monad and combinators

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

'Typechecker combinators'

Given a syntax tree and an associated type, you can define typechecking rules for each node using a monadic DSL