Lean 4は気になる。けど、Haskellが進化し続けるので、他の言語にまで手が回らないという話はある。

Reply to this note

Please Login to reply.

Discussion

No replies yet.