repositories
/
clean-tests.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
a10
[clean-tests.git]
/
polycurry
/
test.icl
1
module test
2
3
import StdMisc
4
5
:: T a = T a
6
7
class c a v :: a -> v Int
8
instance c a T where c a = T 42
9
10
//fun :: v Int | c a v
11
fun :: v Int | c Bool v
12
fun = c True
13
14
Start :: T Int
15
Start = fun