Live Coding — Session 18: Nominal Sets
Edward Kmett
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.
https://github.com/ekmett/name -- Watch live at https://www.twitch.tv/ekmett