[Ur] How to design JSON interface?

Adam Chlipala adamc at impredicative.com
Thu Dec 2 12:34:53 EST 2010


I forgot to mention in the last message that, because I found a compiler 
bug while implementing this, you'll need to pull the latest from the 
public Mercurial repository to get a compiler that will work.



More information about the Ur mailing list