@hackage / imperative-edsl

Deep embedding of imperative programs with code generation