프로그래밍과 증명을 합니다.
I write programs and proofs. Love Haskell, Martin-Löf type theory, Nix package manager, and Hoare logic.
plwiki.github.io

ID: 1058687540826238976

linkhttps://github.com/damhiya calendar_today03-11-2018 11:49:13