Recent posts

Useful Mac OS programs - 2022-03-11

Leibniz equality for truncated types in HoTT - 2021-01-19

Counterexamples of algebraic theories - 2020-01-21

HD44780 LCD with OCaml - 2019-08-28

Delimited continuations - 2018-12-01

Omitting types - 2016-03-15

Uniquness of the absurdity proofs in Cartesian closed categories - 2015-08-12

GHC API tutorial - 2014-06-18