Haskell Live Coding Session 18 Nominal Sets

Summary

In which we (mostly) convert to using a sum-of-product representation for terms to get a more efficient serialized form. -- Watch Repo: github.com/input-output-hk/ Working towards a little relational Building a little library for authenticated computations in Undoing a fair bit of the damage we did from the last couple of streams and trying to incorporate the things we did . -- Watch ... Continuing on from last time, we build the bulk of a library for lazily (de)serializing data with succinct data structures. -- Watch Broadcast in the middle of the week. We mostly spent this time exploring building an alternative form of generic An introduction to the "Art of the Propagator." -- Watch We build up the notion of regular and inverse semigroups in Building a library for commutative applicative functors and general chat about the Working on the IDE integration for the PureScript