git.iko.soy/Idris-dev
on 1b71663 help sign in
Idris-dev/test/docs006/expected
16 lines 228 B history raw
1Interface Foo
2 interface
4Parameters:
5 t -- some parameter
7Constraints:
8 Eq t
10Methods:
11 m : Foo t => t
12 member of interface
14 The function is Total
15Implementations:
16 <no implementations>