search

mroman42 / mikrokosmos

(λ) Educational lambda calculus interpreter
https://mroman42.github.io/mikrokosmos
GNU General Public License v3.0
70 stars 7 forks source link

Multiline notation #17

Closed mroman42 closed 7 years ago

mroman42 commented 7 years ago

Multiline definition of terms should be allowed by the parser joining multiple lines whenever they start with a tab or a space.

mroman42 commented 7 years ago

Multiline notation can be now used on the jupyter kernel. Multiline notation on modules can wait for now.