nikivazou/presentations

Presentations on Liquid Haskell, type theory, and more

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

在 GitHub 上查看原仓库