@hackage symantic6.2.0.20170702

Library for Typed Tagless-Final Higher-Order Composable DSL

This is an experimental library for composing, parsing, typing, compiling, transforming and interpreting a custom DSL (Domain-Specific Language) expressing a subset of GHC's Haskell type system.