initial commit
basics functional programming: enumerated types
basics functional programming: proof by simplification
basics functional programming: proof by rewriting
basics functional programming: case analysis
basics functional programming: naming cases
basics functional programming: induction
basics functional programming: formal vs informal proofs
Software Foundations