[<<][rai][>>][..]

Tue Jan 14 15:04:14 CET 2014

Cleanups

- Turn everything into call by name?

- The autolifting is still quite weird.  The reason for this is the
  way state threading is implemented.  (it's ok, see next post)

[Reply][About]

[<<][rai][>>][..]