Giters

gergoerdi / hm-compo

Compositional type checking for a Hindley-Milner type system

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

haskelltypechecker

This repository is not active

About

Compositional type checking for a Hindley-Milner type system

haskelltypechecker

License:MIT License

Languages

Language:Haskell 100.0%