[Ur] Trouble getting started. Link errors.

Adam Chlipala adamc at impredicative.com
Wed Jan 4 08:40:20 EST 2012


I'm out of ideas.  If the problem can be replicated somewhere that I can 
access via SSH, I can take a stab at more interactive debugging.



More information about the Ur mailing list