A major mode for editing [GIDL](https://github.com/GaloisInc/gidl) files.
This mode is also available through a package archive hosted at
[`gelpa.gdritter.com`](http://gelpa.gdritter.com/), which means you can
install it by adding
~~~~
(add-to-list 'package-archives '("gelpa" . "http://gelpa.gdritter.com/") t)
(use-package gidl-mode :ensure t)
~~~~
to your `.emacs`.