Pinned Repositories
Hartshorne-Solutions
A pdf of solutions of exercises in Robin Hartshorne's Algebraic Geometry.
haskell-learning
learning Haskell
HoTT
Homotopy type theory
jfontmaps
font maps for dvipdfmx
Kashima2009
鹿島亮『数理論理学』（朝倉出版、2009）の演習問題の解答
LearningHaskell
LearningLisp
codes by me written in order to learn Lisp
lets-get-arrested
This project is intended to protest against the police in Japan
martin-lof
papers of Per Martin Löf
pdfs
squawai's Repositories
squawai/LearningLisp
codes by me written in order to learn Lisp
squawai/Hartshorne-Solutions
A pdf of solutions of exercises in Robin Hartshorne's Algebraic Geometry.
squawai/haskell-learning
learning Haskell
squawai/HoTT
Homotopy type theory
squawai/jfontmaps
font maps for dvipdfmx
squawai/Kashima2009
鹿島亮『数理論理学』（朝倉出版、2009）の演習問題の解答
squawai/LearningHaskell
squawai/lets-get-arrested
This project is intended to protest against the police in Japan
squawai/martin-lof
papers of Per Martin Löf
squawai/pdfs
squawai/Qiita-stack
squawai/semSICP
squawai/sicp-pdf
SICP PDF with Texinfo and LaTeX source
squawai/squawai.github.io