Fabrizio Schiavi on Twitter: "I don’t understand nothing but graphically I like this screenshot a lot! #emacs #agda #pragmatapro https://t.co/LUPzMvyZvg" / Twitter