2023-06-17
This is just a little blog i'm doing for the sake of spreading stuff I learn about. Fun, right?
There will be mostly math and programming. \(a \to b\)
let fac n = if n <= 1 then 1 else n * fac (n - 1)
$$\forall a. \forall b. (\forall c. c \to c) \to (a, b) \to (a, b)$$