on 385dcbf help sign in
Idris-dev/test/docs006/docs006.idr
7 lines 117 B history raw
1module docs006
3||| interface
4||| @ t some parameter
5interface Eq t => Foo t where
6 ||| member of interface
7 m : t