AHK Launchpad Agda Macros A general-purpose macro binder for the Novation Launchpad. Supports modifier keys, per-key colors, and text macros. Set up for the Agda programming language, for use inside Emacs. More to come!