Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | pkgs/profpatsch: remove easy-dhall-nix, use dhall from nixpkgs | Profpatsch | 2022-02-28 | 1 | -3/+3 |
| | |||||
* | pkgs/profpatsch/importDhall: allow referencing files in the type | Profpatsch | 2021-05-13 | 1 | -1/+4 |
| | | | | | | The type string would blow up too much if you can’t reference any dhall file in the sources list. This all feels a bit hacky, but at least semantically it seems to work out? | ||||
* | pkgs/profpatsch/importDhall: fix importDhall2 wrapper | Profpatsch | 2021-03-05 | 1 | -0/+1 |
| | |||||
* | pkgs/profpatsch: add importDhall/importDhall2/readDhallFileAsJson | Profpatsch | 2020-05-09 | 1 | -0/+62 |
Like a normal `import`, but for dhall files. `importDhall2` can additionally handle dependencies and additional source files, though the interface is not stable yet. |