Show Menu

[deleted]

About [deleted]

  • Cheatographer since 30 July, 2017.
  • This Cheatographer has deleted their account.

Stats

  • 1 Cheat Sheets
  • 1 Cheat Sheet Pages
  • 2,461 Cheat Sheet Views

Latest Cheat Sheet

1 Page
  (0)
Emacs bindings for Agda sourced from http://agda.readthedocs.io/en/v2.5.2/tools/emacs-mode.html
30 Jul 17