Ticket #54 (new task)
Opened 5 years ago
Allow non-effectful CAFs to be recursive.
|Reported by:||benl||Owned by:|
It'd be nice to support things like:
ones = (:) @ 1 ones
But we currently can't do it because the Sea translation doesn't support recursive CAFs.