Deep embedding of imperative programs with code generation
Primary LanguageHaskellOtherNOASSERTION
A library for deep embedding of imperative programs with code generation.
