search

shriram / smol

The SMoL (Standard Model of Languages) Family of Languages
15 stars 3 forks source link

Remove letrec from doc and fix a bug #15

Closed LuKuangChen closed 2 years ago

LuKuangChen commented 2 years ago

Fix #1