@ice1000
Aya 编程语言开发者之一,3A 悠悠球玩家,主攻线性类型论、依值类型论,香蕉空间类型论板块、逻辑学板块维护者
最近一年贡献:4 次
最长连续贡献:2 日
最近连续贡献:2 日
贡献度的统计数据包括代码提交、创建任务 / Pull Request、合并 Pull Request,其中代码提交的次数需本地配置的 git 邮箱是 Gitee 帐号已确认绑定的才会被统计。