Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 08-Jan-2021 00:46:49 JST きゅーけー

   opam でインストールして Proof General で使っていた記憶がある。じぇねらるたんがかわいい。https://proofgeneral.github.io/

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 08-Jan-2021 00:48:01 JST きゅーけー

     in reply to

     ゴツいおじさんが急にじぇねらるたんになったときはめちゃくちゃ驚いた。