7 Forks
65 Stars
65 Watchers

mikrokosmos

(λ) Educational lambda calculus interpreter

How to download and setup mikrokosmos

Open terminal and run command
git clone https://github.com/mroman42/mikrokosmos.git
git clone is used to create a copy or clone of mikrokosmos repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with mikrokosmos https://github.com/mroman42/mikrokosmos/archive/master.zip

Or simply clone mikrokosmos with SSH
[email protected]:mroman42/mikrokosmos.git

If you have some problems with mikrokosmos

You may open issue on mikrokosmos support forum (system) here: https://github.com/mroman42/mikrokosmos/issues

Similar to mikrokosmos repositories

Here you may see mikrokosmos alternatives and analogs

 awesomo    codeworld    blog    Project-Euler-solutions    pragmatapro    arl    compiler-explorer    oh    postgrest    nvim-hs    constellation    v8    red    awesome-compilers    enso    miniMAL    wren    gravity    Yampa    interpreter-bugs    wire-server    marvin    patat    milewski-ctfp-pdf    graphql-engine    sh    szl    goby    jquery.terminal    codi.vim