首页
运维笔记
SEO心得
软件程序
网站源码
旗下网站
programmer
登录
标签
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
admin
19小时前
8
0