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
Guile で ACL2 の lexer を雑に実装した。明日は parser を書く。
https://git.tojo.tokyo/guile-acl2.git/commit/?h=develop