Think Proof, Count Two
and look for a red shoe
Tags
diary
9 posts
LaTeX
1 posts
Emacs
1 posts
GPG
1 posts
memo
1 posts
プログラム意味論
1 posts
booklog
1 posts
tech
1 posts