summaryrefslogtreecommitdiff
path: root/site/index.html
diff options
context:
space:
mode:
authorstuebinm2021-04-12 17:11:14 +0200
committerstuebinm2021-04-12 17:11:14 +0200
commitd3607cf2c5f06f95a7309df5dfb5167cac5d45c1 (patch)
tree110716cfdd7748fafe9d58597db67f4da8e91c84 /site/index.html
parent6b892239f80e8523e02d7348e5483e9a7aea58ee (diff)
utils: use dhall substitutes for config typesdhall-substitutes
this uses my own version of dhall_rust [1], which has actual support for adding in new types in rust code, which are derived via serde, instead of just gluing in extra code for every file that is read in (in particular, this results in actually useful error messages).
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions