: Tora Blog :
げえむを作ろうとした形跡のレポジトリ
https://gekishiki.com/
https://okadahiroko.info
My reflex recipes
ヘブライ語を仮名文字として使う、日本語の文章の執筆環境
My works of mathematical proof using functional languages