hydra-0.5.1: Type-aware transformations for data and programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.CoreEncoding

Description

Mapping of hydra/core constructs in a host language like Haskell or Java to their native Hydra counterparts as terms. This includes an implementation of LambdaGraph's epsilon encoding (types to terms).

Documentation