Adam, Thanks for your work. And I wanted to ask a simple question: why don't you create a repository with Ur sorcecode e.g. on github?
Kind regards, Kirill Zaborsky 2009/10/9 Adam Chlipala <[email protected]> > Available as usual at: http://www.impredicative.com/ur/ > > CHANGELOG for this release: > > - Bug fixes > - Improvement to choice of line number to cite in record unification error > messages > - SELECT DISTINCT > - New extra demos: orm1 and versioned1 > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
