Friday 19 July 2024

agda の遅いのなんとかならんの?

それほど、でかいわけでもないんだが... check に数分ってのはなぁ

削ると速くなることは確かなんですが

No comments: