Was That a Wild Dog?

• Kleene fixed-point theorem
• Kleene star
• Kleene's recursion theorem
• Kleene's T predicate
• Order
• Join and meet
• Order theory
• Lattice (order)
• Galois connection
• Matt Might
• Order theory for computer scientists
• Livable Code - Sarah Mei

Strawbeeries

• Wonder Woman
• Gifted
• Foxtail
• Aqua Globes
• Linear Types Can Change the World
• Introduction to Lattices and Order
• Lattice Functions, Pair Algebras, and Finite-State Machines
• CSS Animations
• Semiring
• Moore machine
• Mealy machine
• DFA
• NFA
  • RE
  • Monad Reader 16
  • The Pumping Lemma
  • Lemmings