search

jonsterling / tt

secret project
17 stars 1 forks source link

Implement core typechecker #10

Open jonsterling opened 6 years ago