index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
testdata
/
localfun.lc
blob: ff8502c42d557710ff5ba55cbedcb34d9a4ea0f5 (
plain
)
1
2
3
4
5
6
7
8
9
f x y = g x where g True = True g False = y main = f True False && f False True