[Ur] interfacing with ruby

Adam Chlipala adamc at impredicative.com
Wed Dec 8 09:25:52 EST 2010


Marc Weber wrote:
> I could'nt compile a function which does not take arguments (passing the
> conntext id) - so I had to add a dummy parameter.
>    

I'm not sure exactly what you're referring to, but, if this is meant as 
a description of something you wish you could do but haven't been able 
to, I might be able to help if you can provide details.



More information about the Ur mailing list