index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
testdata
/
reduce06.lc
blob: 18b7342c83423648b68890e723082aa65214fc3e (
plain
)
1
2
3
4
constf = \e x -> e main = (\x -> constf x False) True -- should be True
