git.iko.soy/Idris-dev
on 6fe15ea help sign in
Idris-dev/test/docs001/expected
18 lines 293 B history raw
1Type checking ./docs001.idr
2*docs001> Type class C
3 class
5Parameters:
6 t -- a type
8Methods:
9 m : C t => t
10 member of class
12Instances:
13 C A
14 instance of class
15 C (D a b)
16 another instance of class
17 a -- parameter type
18*docs001> Bye bye