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