Exploring Haskell Live Coding Session 18 Nominal Sets
If you are looking for information about Haskell Live Coding Session 18 Nominal Sets, you have come to the right place.
- Undoing a fair bit of the damage we did from the last couple of streams and trying to incorporate the things we did like. -- Watch ...
- Continuing on from last time, we build the bulk of a library for lazily (de)serializing data with succinct data structures. -- Watch
- Building a little library for authenticated computations in
- We build up the notion of regular and inverse semigroups in
- The new generic
In-Depth Information on Haskell Live Coding Session 18 Nominal Sets
Nominal sets Broadcast in the middle of the week. We mostly spent this time exploring building an alternative form of generic Working towards a little relational In which we (mostly) convert to using a sum-of-product representation for terms to get a more efficient serialized form. -- Watch
Implementing a CEK machine in
We hope this detailed breakdown of Haskell Live Coding Session 18 Nominal Sets was helpful.