An experimental playground for methods based on the higher-order unification for type inference and type checking of systems defined by the lambda cube concept.
Tools required to build this project:
- stack http://haskellstack.org
stack buildstack teststack exec hou-exe