18.02.2012, 17:21, "Adam Chlipala" <[email protected]>:
>
> Here's a simple example that motivates the design choice:
>
> ...
Thank you, this sounds reasonable now, though I whatever prefer non-restrictive
alternative. Maybe, just have both? I think, reversed semicolon ("⁏", U+204F)
is good notation for my case ;-)
And yet one typo: in subsubsection 9.1.2, missed binary operator '=' (line
2173).
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
