Difference between revisions of "Template:ListNilConstructor"
Jump to navigation
Jump to search
(Created page with "[https://smlfamily.github.io/Basis/list.html#SIG:LIST.nil:TY <nowiki>[]</nowiki>] construct an empty list") |
|||
| Line 1: | Line 1: | ||
| − | [https://smlfamily.github.io/Basis/list.html#SIG:LIST.nil:TY <nowiki>[]</nowiki>] construct an empty list | + | * [https://smlfamily.github.io/Basis/list.html#SIG:LIST.nil:TY <nowiki>[]</nowiki>] construct an empty list |
Latest revision as of 16:02, 30 August 2024
- [] construct an empty list
