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