On 2015-02-22 at 08:44:59 -0800, Durand Jean-Damien wrote:
FYI
There a new module coming into CPAN, the M4 pre-processor. The current
version is 0.001-TRIAL, time to check current status and fix latest gotchas.
Wow, that's awesome!
More on my G+
page:
On 2014-07-17 at 10:58:04 -0400, Paul Bennett wrote:
Hi all,
I've started working here https://gist.github.com/PWBENNETT/8435996 on
a practical grammar for the language described here
http://ashishagarwal.org/2011/10/04/pdf-type-theory/
Trouble is, I don't (yet) understand the math in the