Hi, how can I use standard library components that are not in Basis.urs? I tried to use List.rev but got an "Unbound structure List" message. I tried various workarounds but none of them worked.
- Gergely _______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
