Commit Graph

3 Commits

Author SHA1 Message Date
Gabriel Gonzalez
2db84bb673 Update the Nix build for dhall
... and generate the files based on that
2020-06-29 16:32:28 -07:00
Simon Jakobi
dea2c92017
Update Prelude.dhall to v10.0.0 (#80)
Now all the examples will build again with current versions
of dhall.
2019-09-16 18:52:23 +02:00
Fabrizio Ferrai
423db8a8bb
Centralize Prelude import (#51)
Import the Prelude only in one place, so it's cached and easily overridable
2019-03-25 12:20:27 +02:00