@hackage / settei-dhall

Dhall sources for Settei

Changelog

Initial experimental release.
Add typed Dhall-to-Settei translation with NoImports and LocalImportsWithin policies.
Retain root and transitive import-closure provenance without claiming unavailable leaf-level import attribution.