@hackage / hydra-kernel

The Hydra kernel: core types, terms, inference, and DSL runtime