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
Auf dieser Seite können Sie das Online-Video Haskell Live-Coding, Session 18, Nominal Sets mit der Dauer stunde minuten sekunde in guter Qualität ansehen, das der Benutzer Edward Kmett 03 November 2018 hochgeladen hat, den Link mit Freunden und Bekannten teilen, dieses Video wurde auf Youtube bereits 868 Mal angesehen und es wurde von 11 den Zuschauern gefallen. Viel Spaß beim Betrachtenden Zuschauern gefallen!
