ignore swp and agda.vim
A variant of Names
2 variants of NbE in HOAS
Add the binding representations I had for my LFMTP talk