search

shriram / smol

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

remove `letrec` from early languages #1

Closed shriram closed 2 years ago

shriram commented 5 years ago

It doesn't really make sense to have letrec in the pre-lambda languages. Remove them.

LuKuangChen commented 2 years ago

Fixed.

LuKuangChen commented 2 years ago

Oops, we forgot to remove letrec from doc.

LuKuangChen commented 2 years ago

While checking the document, I realize letrec should not be provided in dyn-scope-is-bad.

For now @code{let*} and @code{letrec} aren't present. The former is out of implementor laziness, but it's a useful puzzle to ponder is why @code{letrec} hasn't been provided.