Finished integration of ADTs into the type checker - Githubissues

stefankoegel / clickyEvaluation

Visual tool for stepwise evaluation of simple Haskell expressions

MIT License

20 stars 4 forks source link

Finished integration of ADTs into the type checker #45

Closed SRechenberger closed 6 years ago