# Categories

### Mathematics

- Idealized versions of Moessner's theorem and Long's theorem
- A grid of Moessner triangles
- Deriving Moessner's sieve from Horner's method
- Obtaining Taylor Polynomials with Horner's method
- A characteristic function of Moessner's sieve
- A dual to Moessner's sieve
- An introduction to Moessner's theorem and Moessner's sieve
- Rotating Pascal's triangle and the binomial coefficient
- An introduction to Pascal's triangle and the binomial coefficient
- Equivalence of interpretation and compilation followed by execution
- An interpreter, a compiler, and a virtual machine
- An introduction to Horner's method
- A primer on the Coq Proof Assistant

### Meta

### Tools and techniques

### Functional programming

- Sum types in Kotlin, Elixir, and Elm
- Product types in Kotlin, Elixir, and Elm
- Enum types in Kotlin, Elixir, and Elm