gvolpe/types-matter

Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual

语言：Haskell · GitHub 星标：10 · Fork：0

话题：haskell · newtypes · refined · refinement-types · types

在 GitHub 上查看原仓库