Monthly Downloads: 29
Programming language: Haskell
License: GNU General Public License v3.0 only
Tags: Language    
Latest version: v0.8.1

mikrokosmos alternatives and similar packages

Based on the "Language" category.
Alternatively, view mikrokosmos alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of mikrokosmos or a related project?

Add another 'Language' Package



Version Travis (.org) DOI DOI

Mikrokosmos is a λ-calculus interpreter, borrowing its name from the series of progressive piano études Mikrokosmos written by Bela Bartok. It aims to provide students with a tool to learn and understand λ-calculus. It supports both untyped λ-calculus and simply typed λ-calculus.

Support and contributions

If you are an user seeking support, please use the GitHub issue tracker of the main repository. Any bug, failure, or unintended behaviour of the program, specially if it differs from the behaviour described on the user's guide, should be reported on the issue tracker. When doing so, please try to include all the relevant information, the steps you may take to reproduce the error, and the platform and version of Mikrokosmos you were using.

Mikrokosmos is open to pull requests and issue reports from everyone (please see the CONTRIBUTING file). The code is licensed under the GNU General Public License Version 3 (see the LICENSE file).

*Note that all licence references and agreements mentioned in the mikrokosmos README section above are relevant to that project's source code only.