Gergely Buday wrote:
Is the only way to define a list in Ur is to write1 :: 2 :: 3 :: [] ?
Yes. I think the syntactic forms are detailed exhaustively in the manual; let me know if I missed one!
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
