pyret-lang
pyret-lang copied to clipboard
`any` bound but not `all`?
In a fresh CPO, without any imports, any is bound but all is not. This seems a rather odd choice (bind both or neither?).
(all2 is also not bound.)