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 https://www.twitch.tv/ekmett