sweirich / challenge

Strongly-typed System F in Haskell
117Updated 2 years ago

Alternatives and similar repositories for challenge:

Users that are interested in challenge are comparing it to the libraries listed below