ghc-software-foundations:GHC中的《软件基础》一书
需积分: 9 18 浏览量
2021-05-05
19:48:56
上传
评论
收藏 42KB ZIP 举报
ghc-software-foundations-master.zip （30个子文件） 
ghc-software-foundations-master .github workflows 
haskell-ci.yml 7KB .gitmodules 0B cabal.haskell-ci 92B README.md 667B logical-foundations Setup.hs 46B src SF LF Logic.hs 15KB Induction.hs 2KB IndPrinciples.hs 4KB Basics.hs 5KB IndProp.hs 23KB Rel.hs 6KB Tactics.hs 6KB Lists.hs 10KB Axiom.hs 571B ImpC.hs 4KB FunExt.hs 3KB Maps.hs 6KB Imp.hs 7KB Poly.hs 5KB ProofObjects.hs 1KB LICENSE 1KB logical-foundations.cabal 2KB README.md 69B cabal.project 75B .gitignore 219B verified-functional-algorithms Setup.hs 46B verified-functional-algorithms.cabal 1KB src SF VFA Perm.hs 2KB LICENSE 1KB README.md 80B资源评论
