Haskell Live-Coding, Session 18, Nominal Sets
Nominal sets are about dealing with name capture in a principled way, based on permutations of 'atoms' or 'names'.
We spent the night refactoring my `nominal` library to use a new underlying notion of support and to use a more uniform notion of patricia tries. The tries are currently subbed out for a placeholder, but everything else now works.
http://github.com/ekmett/nominal -- Watch live at / ekmett