3 results
Hydra's Haskell coder: emit Haskell source from Hydra modules
The Hydra kernel: core types, terms, inference, and DSL runtime
Core data structures and operations