search

gmalecha / HL-Compiler

MIT License
0 stars 1 forks source link

Simply Typed Lambda Calculus Type checker #3

Open gmalecha opened 8 years ago

christetreault commented 8 years ago

do haskell proof of concept first