Skip to content

Commit a7d2bcc

Browse files
committed
add flake
1 parent 65523b2 commit a7d2bcc

File tree

3 files changed

+729
-0
lines changed

3 files changed

+729
-0
lines changed

README.md

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -37,3 +37,21 @@ format @"Hi {name}! Your favourite number is {number}" {name : "Bill"}
3737

3838
The only requirement is that all the types in the record have `Show`
3939
instances.
40+
41+
## Nix flake
42+
43+
1. Install Nix.
44+
- Use [single-user installation](https://nixos.org/download.html), then [enable flakes](https://nixos.wiki/wiki/Flakes).
45+
- Alternatively, use an [unofficial](https://github.com/DeterminateSystems/nix-installer#the-determinate-nix-installer) installer.
46+
47+
2. Run the default `devShell`.
48+
49+
```console
50+
nix develop
51+
```
52+
53+
3. Test the project
54+
55+
```console
56+
spago test
57+
```

0 commit comments

Comments
 (0)