Church of Church project site

Church of Church is a union of students and graduates of FCS HSE interested in functional programming, formal verification, type theory, compilers & programming language design.

This is our project site made using Material theme for MkDocs. Please enjoy! You can build it with

nix build .#documentation

Or run a development server that automatically updates on changes with

nix run .#watch-documentation

If you have any suggestions, please contact @TurtlePU.

PRs are always welcome!