git.iko.soy/Idris-dev
on e32e899 help sign in
Idris-dev/test/docs001/expected
16 lines 237 B history raw
1Type class C
2 class
4Parameters:
5 t -- a type
7Methods:
8 m : C t => t
9 member of class
11Instances:
12 C A
13 instance of class
14 C (D a b)
15 another instance of class
16 a -- parameter type