@hackage symantic6.3.0.20170703

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.