12:30:02beachPlus, I took the definitions from the SICL specification.
14:39:56makomobeach: wow, that paper looks very exciting. once again (as i've said before), i like your mathematical style (all of the stuff neatly formalized into definitions, etc.) :-)
14:40:39beachI still haven't figured out the best way of describing it though.
14:43:31makomothat's alright, i haven't read the thing yet anyway. and right when i decide to get back into the CL loop, midterms hit me (the next 2 weeks) :-)
14:46:44makomoheh, it had to happen sooner or later, but i always find it interesting how i get interested in something right before certain deadlines (either lab exercises or exams). a lot of other people have told me the same thing happens to them as well
14:47:32makomoi'm not sure if it's just a coincidence or a thing that has to do with psychology