mikrokosmos alternatives and similar packages
Based on the "Language" category
* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest. Visit our partner's website for more details.
Do you think we are missing an alternative of mikrokosmos or a related project?
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.
- Try Mikrokosmos!, online interpreter.
- Mikrokosmos tutorial, an online tutorial.
- Mikrokosmos user's guide, contains installation instructions.
- Mikrokosmos on Hackage.
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.