+ README.md

Church-of-Church-HSE · Oct 16, 2024 · 88da9eb · 88da9eb
1 parent 88bcae6
commit 88da9eb
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/README.md 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!