chatziko / lci

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

Using lambda (λ) sign leads to syntax error #2

Closed leotaku closed 6 years ago

leotaku commented 6 years ago

The documentation mentions that either a backslash or a greek lambda symbol can be used to denote a lambda expression. Using the later one, in my case, leads to a syntax error.

lci> (\ x -> x)

 \x.x
 (0 reductions, 0.00s CPU)
lci> (λ x -> x)
 Syntax error
leotaku commented 6 years ago

As a short look at the recent commit history reveals, this has been fixed after the last release. Sorry for the clutter.

chatziko commented 6 years ago

Indeed, before you needed the lambda in a greek encoding (iso-8859-7), now the lambda in utf8 should work.