首页
标签
free-theorem
`Alt` 类型类的函子分布规律是否微不足道？
类型 [[a]] -> ([a], [a]) 的法则
Paramcoq：Coq 中的自由定理
寻找 "free theorem"