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