Template:ListNilConstructor
Revision as of 15:58, 30 August 2024 by Dennis.cosgrove (talk | contribs) (Created page with "[https://smlfamily.github.io/Basis/list.html#SIG:LIST.nil:TY <nowiki>[]</nowiki>] construct an empty list")
[] construct an empty list