From e7cd3b2c3a913ac6be768f6e6a20ae0fb505ffe3 Mon Sep 17 00:00:00 2001 From: Rakarake <51128488+Rakarake@users.noreply.github.com> Date: Thu, 6 Apr 2023 14:12:45 +0200 Subject: [PATCH] Added README section about Nix --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index 08e5d2f..7cb234e 100644 --- a/README.md +++ b/README.md @@ -7,6 +7,10 @@ Churf can then be built using `cabal install` Using the tool [make](https://www.gnu.org/software/make/) the entire thing can be built by running `make` or using [just](https://github.com/casey/just), `just build` +# Dependencies +If you have Nix installed, simply run `nix-shell --pure shell.nix` to get into an environment +with the right versions of packages. Then run `make` and the compiler should build. + # Compiling a program Using the Hindley-Milner type checker: `./language -t hm example.crf`