Excerpts from Davor Ocelic's message of Wed Dec 08 17:15:58 +0100 2010: > But any other means wouldn't hurt either... git repos (and probably > all others) can easily be browsed from the web.
You can't copy paste the wiki and run test code easily. Neither can you use it as library without copy pasting code. Moving towards a ur standard library would be fine :) If nobody has a different preference I'm going to create a git gist tomorrow. Marc Weber _______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur