hdiff
packages
feed
graph-rewriting-ww
-0.1: examples/flip_const_id.l
let flip f x y = f y x const x y = x id x = x in flip const a id b