GitHub - mroman42/mikrokosmos-tutorials: Tutorials on lambda calculus using the Mikrokosmos interpreter

mroman42 / mikrokosmos-tutorials Public

Tutorials on lambda calculus using the Mikrokosmos interpreter

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
tutorial-1-lambda.ipynb		tutorial-1-lambda.ipynb
tutorial-2-logic.ipynb		tutorial-2-logic.ipynb
tutorial-3-numbers.ipynb		tutorial-3-numbers.ipynb
tutorial-4-combinators.ipynb		tutorial-4-combinators.ipynb
tutorial-5-datastructures.ipynb		tutorial-5-datastructures.ipynb
tutorial-6-recursion.ipynb		tutorial-6-recursion.ipynb
tutorial-7-types.ipynb		tutorial-7-types.ipynb