How to specify the interface fro

How to specify the interface from which an object comes from in idris - Stack Overflow
Say I have the following interface in idris:interface I a b wherex : ay : bAnd then I try to define th
How to specify the interface from which an object comes from in idrisStack Overflow
admin1天前
150