Merge pull request #3 from WHForks/add-nix-flake

Add a nix flake for simpler usage

README.md

@@ -3,6 +3,15 @@
 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!
+You can build it with
+```shell
+nix build .#documentation
+```
+
+Or run a development server that automatically updates on changes with
+```shell
+nix run .#watch-documentation
+```
 
 If you have any suggestions, please contact @TurtlePU.
 

flake.nix

@@ -0,0 +1,24 @@
+{
+  description = "Church of Church website for HSE projects";
+
+  inputs = {
+    flake-parts.url = "github:hercules-ci/flake-parts";
+    nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
+
+    mkdocs-flake.url = "github:applicative-systems/mkdocs-flake";
+  };
+
+  outputs = inputs: inputs.flake-parts.lib.mkFlake { inherit inputs; } {
+    imports = [
+      inputs.mkdocs-flake.flakeModules.default
+    ];
+    systems = [ "x86_64-linux" "aarch64-linux" "aarch64-darwin" ];
+    perSystem = { config, self', inputs', pkgs, system, ... }: {
+      # Build the docs:
+      #     `nix build .#documentation`
+      # Run in watch mode for live-editing-rebuilding:
+      #     `nix run .#watch-documentation`
+      documentation.mkdocs-root = ./docs;
+    };
+  };
+}