packages feed

graph-rewriting-lambdascope-0.4.5: examples/twice.l

let twice f x = f (f x) in twice twice inc