From 17592d060e911e62a77aedbfdf8e86022671562e Mon Sep 17 00:00:00 2001 From: lIlIlIlIIIIlIIIllIIlIllIIllIII Date: Tue, 31 May 2022 14:02:39 +0200 Subject: [PATCH] documentation --- CONTRIBUTING.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 5a56593d..e5914425 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -89,6 +89,12 @@ You can look at the [online OCaml documentation](https://catala-lang.org/ocaml_docs/) for the different modules' interfaces as well as high-level architecture documentation. +### Installing and using nix + +We provide an nix environement to develop the Catala compiler. It is available +after [installing nix](https://nixos.org/download.html). You can then just +use `nix develop` to enter the environment. + ### Example: adding a builtin function The language provides a limited number of builtin functions, which are sometimes