YoshikuniJujo
4mo ago
Lean 4は気になる。けど、Haskellが進化し続けるので、他の言語にまで手が回らないという話はある。
Reply to this note
Please
Login
to reply.
Discussion
No replies yet.