Media Summary: In which we (mostly) convert to using a sum-of-product representation for terms to get a more efficient serialized form. -- Watch Hope you liked the video! This took a while to make (mostly bc of uni stuff getting in the way). In this video, I will be going over the ... Nominal sets are about dealing with name capture in a principled way, based on permutations of 'atoms' or 'names'. We spent the ...
Haskell Live Coding Session 10 - Detailed Analysis & Overview
In which we (mostly) convert to using a sum-of-product representation for terms to get a more efficient serialized form. -- Watch Hope you liked the video! This took a while to make (mostly bc of uni stuff getting in the way). In this video, I will be going over the ... Nominal sets are about dealing with name capture in a principled way, based on permutations of 'atoms' or 'names'. We spent the ... Building a little library for authenticated computations in The "Art of the Propagator", Part 2/2. -- Watch
