git.iko.soy/Idris-dev
on 465cc1c help sign in
Idris-dev/test/docs001/expected
17 lines 265 B history raw
1Type checking ./docs001.idr
2Type 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