Wed Aug 5 23:38:15 EDT 2015
- Missing link is RSig -> RSig to Sys translation, since Comp requires
that form for code generation (which is equivalent (proof: construct
- Continue using RSig.hs to construct applicative programs (as opposed
to compositional programs using the Category and Arrow instances of
Once compilation work, it is easy to verify if there are sharing
issues. If there are, try to fix them manually.