squawai's repositories
LearningLisp
codes by me written in order to learn Lisp
Hartshorne-Solutions
A pdf of solutions of exercises in Robin Hartshorne's Algebraic Geometry.
000
haskell-learning
learning Haskell
Language:Haskell000
HoTT
Homotopy type theory
Language:CoqNOASSERTION000
jfontmaps
font maps for dvipdfmx
Language:Perl000
Kashima2009
鹿島亮『数理論理学』(朝倉出版、2009)の演習問題の解答
000
Language:Haskell000
lets-get-arrested
This project is intended to protest against the police in Japan
Language:HTML000
martin-lof
papers of Per Martin Löf
Language:TeX000
MIT000
000
Language:Racket000
sicp-pdf
SICP PDF with Texinfo and LaTeX source
000
Language:HTML000