Blog posts with tag "coq"

Tags cloud

datatype (3) functional programming (7) haskell (2) Agda (10) reflection (3) canonical structures (2) universe (2) coq (2) type safety (2) dependent types (2) binders (2) lambda calculus (3)
Last update: 2024 09
fun