@deerrider
DeerRIDER 暂无简介
All Algorithms implemented in Python
Development of homotopy type theory in Agda
Programming Languages: Application and Interpretation
个人总结比较全面的Emacs快捷键列表。部分快捷键依赖插件。
Magic.
骑鹿人的暗黑风EMACS配置
个人总结简明Git快捷键列表。
计算机科学学习指南-骑鹿人
BDDBL Denotes Dummy BDD Library.
