Difference between revisions of "Template:ListConsConstructor"
Jump to navigation
Jump to search
(Created page with "[https://smlfamily.github.io/Basis/list.html#SIG:LIST.:::TY ::] construct a list out of a head element and a tail list") |
|||
| Line 1: | Line 1: | ||
| − | [https://smlfamily.github.io/Basis/list.html#SIG:LIST.:::TY ::] construct a list out of a head element and a tail list | + | * [https://smlfamily.github.io/Basis/list.html#SIG:LIST.:::TY ::] construct a list out of a head element and a tail list |
Latest revision as of 16:02, 30 August 2024
- :: construct a list out of a head element and a tail list
