2 lines
59 B
Text
2 lines
59 B
Text
|
DEFINE uniq == [[]] [[in] [swap pop] [cons] ifte] primrec.
|