[<<][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][>>][..]