Please enable JavaScript in your browser!
首页
发现
帮助
登录
viercc
/
finitary
派生自
sheaf/finitary
关注
1
点赞
0
派生
0
文件
合并请求
0
目录树:
021dd337d4
分支列表
标签列表
dependency-fix
dev
finite1
flags
master
minimal
upgrade-finite
2.0.0.0
1.2.0.0
1.1.0.0
1.0.0.0
0.1.0.0
提交历史
查找
作者
SHA1
备注
提交日期
Koz Ross
11695ac328
GHC 8.10, remove coercible-utils dep
4 年之前
Koz Ross
b83cbceeda
Start a principled rewrite
5 年之前