/docs/wiki_src/introduction/
../
installation.md
lambda-calculus.md
setup.md
syntax.md