Gergely Buday wrote: > Is the only way to define a list in Ur is to write > > 1 :: 2 :: 3 :: [] ? > Yes. I think the syntactic forms are detailed exhaustively in the manual; let me know if I missed one!