chatziko / lci

A lambda calculus interpeter
https://www.chatzi.org/lci/
GNU General Public License v2.0
64 stars 7 forks source link

Nil not redefinable #13

Open tromp opened 1 year ago

tromp commented 1 year ago

I chose a different representation of Nil in .lcirc, and redefined IsNil accordingly, but found that the runtime no longer recognizes it. This would work if the runtime also used the IsNil check to test for Nil...