agda2-mode is a major mode for the Agda programming language which is
inspired by Haskell. The attached screenshot shows two buffers, the
one on the right uses
agda2-mode and the one on the left uses
I haven't yet assigned copyright to the FSF (will do after writing this MR :-)), I will ping you once the process as finished.