chatziko / lci

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

ListEqual bug #12

Open tromp opened 1 year ago

tromp commented 1 year ago

The implementation fails to check whether l2 is Nil in case l1 isn't Nil.