Open phadej opened 6 years ago
There are few things to do (at the very least):
(+*+)
Universe [a]
Universe (a -> b)
Some notes:
Tree
foldr/build
There are few things to do (at the very least):
(+*+)
Universe [a]
Universe (a -> b)
Some notes:
Tree
-based approach first, but(+*+)
was hard.foldr/build
variant is hard too.