Tritlo/writ-plugin

A type-checker plugin for weak runtime-irrelevant typing in Haskell

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

在 GitHub 上查看原仓库