# Computing, Math and Beauty

- Defining Functors in Scala
- Proof vs Truth
- Implementing FP language Part 4 - Recursion and Fixed Points
- Expressibility of regular expressions
- Expressibility of SKI combinator calculus
- Implementing FP language Part 3 - Execution with environments
- Propositions and Types
- Pure IO
- Implementing FP language Part 2 - Beta reduction with substitution
- Implementing FP language Part 1 - Untyped lambda calculus

subscribe via RSS