Blog posts with tag "coq"

• Currying using Canonical Structures2015-07-28T13:37:00Z
• Non-regular Parameters are OK2014-07-17T13:37:00Z

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: 2025 07