liquidhaskell/liquid-base

Drop-in replacement for the base library, to use with Liquid Haskell

语言：Haskell · GitHub 星标：4 · Fork：5

在 GitHub 上查看原仓库