search

chatziko / lci

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

A New Release #8

Closed HalosGhost closed 3 years ago

HalosGhost commented 5 years ago

Okay, recognizing I just spammed this issue tracker a bit, I would love to see a new release (perhaps after some of that work gets done :P). The latest released version still does not include the λ-fix, for example.

chatziko commented 3 years ago

v1.0 is out!