Seeker's eye
Friday 19 July 2024
agda の遅いのなんとかならんの?
それほど、でかいわけでもないんだが... check に数分ってのはなぁ
削ると速くなることは確かなんですが
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment