tag: Agda

ついに Agda のコードを含む記事をかけるようになりました