syntactic

The library provides a generic representation of type-indexed abstract syntax trees (or indexed data types in general). It also permits the definition of open syntax trees based on the technique in Data Types à la Carte [1]. For more information, see "A Generic Abstract Syntax Model for Embedded Languages" (ICFP 2012): Paper: http://www.cse.chalmers.se/~emax/documents/axelsson2012generic.pdf Slides: http://www.cse.chalmers.se/~emax/documents/axelsson2012generic-slides.pdf Example EDSLs can be found in the examples folder. [1] W. Swierstra. Data Types à la Carte. Journal of Functional Programming, 18(4):423-436, 2008, http://dx.doi.org/10.1017/S0956796808006758.