From 88da9ebf7850e20993d834f693313325f0f6063d Mon Sep 17 00:00:00 2001 From: TurtlePU Date: Wed, 16 Oct 2024 22:37:51 +0300 Subject: [PATCH] + README.md --- README.md | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 0000000..802b6dd --- /dev/null +++ b/README.md @@ -0,0 +1,9 @@ +# 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](https://squidfunk.github.io/mkdocs-material/). Please enjoy! + +If you have any suggestions, please contact @TurtlePU. + +PRs are always welcome!