On Mon, 25 Mar 2013, Chris Warburton wrote:
John Carlson yottz...@gmail.com writes:
So is anyone looking at binary parser generators? It would seem like
something like this would have been done ages ago.
Brings to mind Every Bit Counts. It's a library for serialising and
deserialising
Hi John and Andre,
On Mon, 25 Mar 2013, John Tromp wrote:
dear Andre/Jan,
PGA is very different from BLC of course, but both are a simple linear
notations. PGA starts with jump instructions, and it has step by step
extensions for variables, control structures, semaphores etc. It has been
Hi,
After reading John Tromp's paper [1] (also see De Bruijn Index [2]) I
got very interested in Binary Lambda Calculus (BLC). In my little spare
time I implemented a BLC interpreter in C [3, 4].
I thought it would be interesting to share it on this mailing list since
the motivation