Try Mikrokosmos

Thanks to GHCJS and Codemirror, you can now try the Mikrokosmos lambda interpreter in your browser. Press the evaluate button below!

With this interpreter on my toolkit, I plan to write tutorials on the λ-calculus and the Curry-Howard isomorphism soon. Stay tuned!

Site proudly generated by Hakyll; written with Emacs and org-mode.