konn/demotion-paper

Functional Pearl: Witness Me — Constructive Arguments Must Be Guided with Concrete Witness

语言：TeX · GitHub 星标：4 · Fork：0

话题：dependent-types · functional-pearl · functional-programming · haskell

在 GitHub 上查看原仓库