@hackage / symantic

Library for Typed Tagless-Final Higher-Order Composable DSL

6.2.0.20170702

About

Metadata

  • Last updated , by julm
  • License GPL-3.0-only

  • Maintained by: Julien Moutinho <julm+symantic@autogeree.net>

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 8.0.2

Readme

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.