-
Notifications
You must be signed in to change notification settings - Fork 8
Open
Labels
Description
Consider Twitter user that have written the following in tweet:
λ> nil := (\f . (\x . x))
λ> pair := (\x . (\y . (\z . ((z x) y))))
λ> ((pair 97) ((pair 98) ((pair 99) nil)))
string: abc
For some reason Horta echoed this to MUC in the following form:
<horta hell> @tsoding твитит: λ> nil := (\f . (\x . x))
λ> pair := (\x . (\y . (\z . ((z x) y))))
λ> ((pair 97) ((pair 98) ((pair 99) nil)))
string: abc
I don't think we should replace these > with >.
rexim