search

mroman42 / mikrokosmos

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

SKI option #25

Closed mroman42 closed 7 years ago

mroman42 commented 7 years ago

Give the user the option to turn on/off the SKI output