@deerrider
DeerRIDER 暂无简介
计算机科学学习指南-骑鹿人
个人总结简明Git快捷键列表。
个人总结比较全面的Emacs快捷键列表。部分快捷键依赖插件。
常用T-SQL语句简表。
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
Magic.
最近一年贡献：0 次
最长连续贡献：0 日
最近连续贡献：0 日
贡献度的统计数据包括代码提交、创建任务 / Pull Request、合并 Pull Request，其中代码提交的次数需本地配置的 git 邮箱是 Gitee 帐号已确认绑定的才会被统计。
