wouter-swierstra/agda2hs-cabal

Example project showing how to integrate agda2hs as preprocessor using Cabal

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

在 GitHub 上查看原仓库