ychr-0.1.0.0: test/golden/stlc/infinite.goal

stlc:typecheck(quote(lam("x", app(var("x"), var("x")))), R)