index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
testdata
/
language-features
/
basic-values
/
typesig03.lc
blob: 04db1677599f7f7d2feae558fbcdfcc5791bd598 (
plain
)
1
2
3
4
5
6
fun1 :: a -> b -> c -> () fun1 x y z = () fun2::a->b->c->() fun2 x y z = ()