Posts

• Feb 18, 2020

  Agda vs. Coq vs. Idris

• Jul 12, 2019

  Syntactic metaprogramming II

• Jun 25, 2019

  Syntactic metaprogramming I

subscribe via RSS