KonjacSource/dependent-pattern-matching

The simplest implementation of Dependent Pattern Matching and Indexed Inductive Types.

语言：Haskell · GitHub 星标：14 · Fork：1

话题：algebraic-data-types · data-types · dependent-types · haskell · pattern-matching · proof-assistant · type-system · type-theory

在 GitHub 上查看原仓库