Topology Lecture 23: Compactness III
Logic & Foundations with Haskell: Haskell 10 :: Folding over Lists
Topology Lecture 03: Convergence
Logic & Foundations with Haskell: Haskell 6 :: Sets
Logic & Foundations with Haskell: Haskell 2 :: Basic Operations
Topology Lecture 16: Quotient Spaces III
Lens Dynamics 4: Building a biological oscillator
Graph Theory 06: Petersen Graph and Radius
Logic & Foundations with Haskell: Haskell 3 :: Types and Typeclasses
Graph Theory 10: Trees
Enriched Functors pt II: Examples
Sequents, semantics, and inductive types in Lean.
Enriched Categories pt II: Definition
Enriched Categories pt III: Examples
LinAlg 03: Examples of Vector Spaces
Logic & Foundations with Haskell: Logic 3 :: Naive First Order Logic
Closed Symmetric Monoidal Categories: Definition and Examples
Modeling Dynamical Systems with Lenses 3: Parallel Product
Graph Theory 11: Characterizing Trees
Enriched Functors pt I: Definition