dummy_prolog
需积分: 5 194 浏览量
2021-03-22
06:30:10
上传
评论
收藏 12KB ZIP 举报
dummy_prolog-main.zip （17个子文件） 
dummy_prolog-main 
LICENSE 1KB .gitignore 225B README.md 144B plog package.yaml 1KB plog.cabal 2KB test Spec.hs 63B stack.yaml 2KB plog.iml 856B app Main.hs 3KB src Theories.hs 93B Algorithms.hs 15KB Lib.hs 88B Literals.hs 769B SigmaSignature.hs 4KB Setup.hs 46B .gitignore 43B ChangeLog.md 44B资源评论
