项目作者： ice1000
项目描述 ：
My slides and notes
高级语言： Agda
项目地址: git://github.com/ice1000/Books.git
Books and Slides
This repository has an obsolete name, it should actually be called “Slides”, because it’s now hosting my slides.
Contents are under CC BY-NC-SA License, source codes are under MIT License.
