Posts

• Jun 27, 2021

  A non-trivial trivial theorem: doing classical mathematics in Coq

• Feb 26, 2020

  Translating Common Lisp to Haskell, a case study

• Feb 20, 2020

  Free Monads from Scratch

• Jan 2, 2018

  Creating a game with Biwascheme

subscribe via RSS