[<<][meta][>>][..]Sun Feb 7 15:36:56 CET 2010
I've added Add and Mul tags to the Prim datatype for simpler pattern matching. Next: write operations on Code as lifted operations on Ref. Maybe writing as a monad is simpler? Using some lifting: ([Ref a] -> Prim a) -> ([Code a] -> Code a) Conclusion is that the current representation is too cumbersome. The wrapping should be repackaged somehow such that environment threading isn't such a pain.