hdiff
packages
feed
disco
-0.1.0.0: docs/tutorial/example/higher-order.disco
thrice : (N -> N) -> (N -> N) thrice(f)(n) = f(f(f(n)))