[Ur] urblog will not compile

Adam Chlipala adamc at impredicative.com
Wed Sep 16 07:54:00 EDT 2009


Manu wrote:
> I tried compiling urblog yesterday
>
> first it failed

Gian has been using a development version of the compiler.  The latest 
released version is known not to work with his code.  I'm expecting to 
make a new release tomorrow, and that new version should work with urblog.



More information about the Ur mailing list