やったこと

研究

可逆プログラミング言語について色々まとめていた。
結構色々な知識が蓄積されたので悪くなかったのではないかと思う。

篩型との組み合わせは面白いと思うんだよなぁ。