3 ms·
The dhall language does https imports, but with two important differences: 1. The language is _pure_ and _total_, so it will _eventually_ terminate and cannot
by endgame 6y ago
The dhall language does https imports, but with two important differences:
1. The language is _pure_ and _total_, so it will _eventually_ terminate and cannot perform side-effects
2. You can specify the SHA256 of the referenced resources inline, next to the URL. This gets you caching and breakage warnings.