search

lace-language / lace

4 stars 0 forks source link

Algorithm m style typechecking #45

Closed jdonszelmann closed 10 months ago

jdonszelmann commented 11 months ago

Closes #32 Closes #33