index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
testdata
/
typeclass0.lc
blob: a2d50810ce6d0039a777dbba56d65466f1f0b1f1 (
plain
)
1
2
3
4
main = case 1 of 1.0 -> True