[moving to chat@] Hi Raul,
On Tue, Jun 3, 2014 at 4:49 PM, Raul Miller <[email protected]> wrote: > One of the big problems is that the dogma of type theory mostly works by > avoiding regularity. That's fairly natural: people want to shine. Would you mind clarifying what you mean by the above? Thanks, Marc ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
