metaborg/ministatix.hs

A playground Statix implementation

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

话题：constraint · haskell · solver · specification · statix · type-system

在 GitHub 上查看原仓库