自己紹介

読書スタイル（自然言語へのハイライト）と型理論（Haskell、Agdaなど）に興味が有るディレッタントです