Profile
Masanori Ogino 𓀁
181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
https://mstdn.maud.io/@omasanori
Masanori Ogino 𓀁 reblogged at 4 years ago
きゅーけー tojoqk@mastodon.tojo.tokyo
Agda も Emacs から使うことが前提になってるっぽい。
https://agda.readthedocs.io/en/latest/getting-started/installation.html#installation-from-hackage