On Fri, Nov 8, 2013 at 5:33 PM, Yoshiki Ohshima <yoshiki.ohsh...@acm.org> wrote: > Thank you, Karl! > > An interesting thing happened at the conference (I'ts about David > Ungar asking a question to type theorists). I wrote about it (in > Japanese): > > http://d.hatena.ne.jp/squeaker/20131101#p1
I gather that letting Google to translate it is a bad idea; so I attempted to do it by myself. http://d.hatena.ne.jp/squeaker/20131109#p1 -- -- Yoshiki _______________________________________________ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc