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 above paper well enough to know whether I'm actually on the right track with the language spec (but I am working on it). It's a bit vague and airy in the paper itself, and I'm trying to tie it down to something actually implementable. I've also taken the liberty of allowing *NIX style shebang lines and C style #include lines, as a convenience to any future users of the language. Anyway ... any opinions on what I might be doing wrong (or right), at this early stage in the game? Thanks, -- P/PW/PWBENNETT -- You received this message because you are subscribed to the Google Groups "marpa parser" group. To unsubscribe from this group and stop receiving emails from it, send an email to marpa-parser+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
