copilot-0.21: A lazy-list language for generating constant-time and constant-space C programs. Uses Atom as a backend.

Language.Copilot.AtomToC

Description

Defines a main() and print statements to easily execute generated Copilot specs.

Documentation

getPrePostCode :: Name -> StreamableMaps Spec -> [(Type, Var, Phase)] -> Vars -> Period -> (String, String)Source