Highlights

Ferrite

Session types EDSL for Rust

Flex Error

Flexible error handling in Rust

Nix Workshop

Workshop for Haskell and Nix development