Blog posts

Tags cloud

Agda (9) functional programming (4) reflection (3) canonical structures (2) universe (2) coq (2) datatype (2) type safety (2) dependent types (2) binders (2) lambda calculus (3)
Last update: 2018 07 13
fun