|
|
7fc5d2934d
|
set FENNEL_PATH using absolute paths
|
2023-09-08 21:01:39 +01:00 |
|
|
|
c7ead8559b
|
shell.nix: set FENNEL_PATH for interactive convenience
|
2023-07-08 23:08:25 +01:00 |
|
|
|
0777bb47c0
|
simplify calling buildEnv
|
2023-02-17 20:41:55 +00:00 |
|
|
|
37caac1d56
|
add shell.nix and tidy docs to take advantage of it
|
2023-02-17 20:19:45 +00:00 |
|
