mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop

Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.

语言：Scala · GitHub 星标：3 · Fork：0

话题：compile-time-meta-programming · curry-howard-isomorphism · dependent-type-theory · dependent-types · first-order-logic · idris · path-dependent · path-dependent-types

在 GitHub 上查看原仓库