hdiff
packages
feed
maxsharing
-1.0.2: examples/morazan-fig1.l
let R = λx y. let f = R x g = R y in f g in R