ephel-lang/nethra

Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.

语言：OCaml · GitHub 星标：16 · Fork：1

话题：dependent-types · pi-types · propositional-equality · record-types · recursive-types · sigma-types · sum-types

在 GitHub 上查看原仓库