Ehmry -
ef9f76744f
Bump dhall-genode
...
• update dhall-genode revision
• render top-level init config with lib.renderDhallInit
• convert Init.Start.config to optionals
• lib.validate renderDhallInit XML
2019-11-17 13:24:08 +01:00
Ehmry -
9410b836c2
Use "record override" syntatic-sugar in Dhall test configs
2019-10-23 14:12:02 +02:00
Ehmry -
811692aa7b
Update Dhall prelude to 11.0.0
2019-10-16 17:09:45 +02:00
Ehmry -
f0762e152a
Update git revisions
2019-10-13 15:36:48 +02:00
Ehmry -
434f364021
Add more Solo5 tests
2019-10-08 15:53:27 +02:00
Ehmry -
cede594e15
Add dhall-haskell submodule
...
We need the latest version of the Dhall interpreter, but that needs
a pin to Nixpkgs release-17.09. Use submodule rather than a fetchgit
because dhall-haskell requires a submodule itself, and fetgit does
not pull this in.
2019-10-05 20:41:02 +02:00
Ehmry -
41071d2625
License under Hippocratic-1.1
2019-09-27 12:38:35 +02:00
Ehmry -
734f38fabb
Refactor for clarity
...
Mode around for the sake of clarity, pin Nixpkgs with fetchGit for
convenience.
2019-09-25 13:48:34 +02:00
Ehmry -
7f8e7923a6
Update Git URLs
2019-09-01 16:00:12 +02:00
Ehmry -
95e3b6a62e
Add Dhall preludes
2019-08-30 13:10:45 +02:00