packages feed

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

let omega = λx.x x in omega omega