あすたーいずむ
6mo ago
依存型理論の規則はどう見ても自然だよ～
Reply to this note
Please
Login
to reply.
Discussion
No replies yet.
