copilot-0.21: A lazy-list language for generating constant-time and constant-space C programs. Uses Atom as a backend.
Transform the copilot specification in an atom one, and then compile that one.
copilotToAtom :: StreamableMaps Spec -> Sends -> Maybe Period -> Maybe [(Var, String)] -> (Period, Atom ())Source
Compiles an Copilot specification to an Atom one.
The period is given as a Maybe : if it is Nothing, an optimal period will be chosen.
Produced by Haddock version 2.8.1