96b710d449
* Generic representation and manipulation of abstract syntax using a practical encoding of open data types (based on Data Types a la Carte) * Utilities for analyzing and transforming generic syntax * General variable binding constructs * Utilities for building extensible embedded languages based on generic syntax * A small proof-of-concept implementation of the embedded language Feldspar (see the examples directory) ok jasper@ |
||
---|---|---|
.. | ||
pkg | ||
distinfo | ||
Makefile |