15 Jul
2005
15 Jul
'05
9:50 a.m.
On 2005-07-15 at 10:49+0200 Tomasz Zielonka wrote:
But you can format it this way:
let a very long definition of "a" = and the body has to be here is a very long application to "and" but using long arguments like definition is not that bad in
or
let a very long definition of "a" = and the body has to be here is a very long application to "and" but using long arguments like definition is not that bad in
Though I happen to think that the offside rule isn't exactly right; you can probably find something I've said about this in the archive. -- Jón Fairbairn Jon.Fairbairn at cl.cam.ac.uk