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