Haskell Live-Coding, Session 18, Nominal Sets

Profile Picture
- Published on Nov 3, 2018馃審 Public

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