index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
testdata
/
let.lc
blob: 2ba0749e036ecce49d77f77aa220e6d622ceba87 (
plain
)
1
2
3
4
f x = let y = id x in y --f x = (\y -> y) (id x)