Gae Blog

Imperative Programming - Algol

January 21, 2019 6 minute read

Haskell is a dialect Algol!

January 20, 2019 2 minute read

Recap for Product/Sum Types

January 20, 2019 less than 1 minute read

Updates

January 18, 2019 2 minute read

Partial Functions

September 30, 2018 2 minute read

Hereditary Termination and Logical Equivalence Recap

September 9, 2018 3 minute read

An example to start off