ats-sandbox:使用ATS编程语言进行实验
需积分: 5 66 浏览量
2021-05-15
17:26:26
上传
评论
收藏 21KB ZIP 举报
ats-sandbox-master.zip （48个子文件） 
ats-sandbox-master c2ats glut 
glut.sats 10KB freeglut.h 21B shell.nix 205B z3-stuff test.z3 282B nix nixpkgs-pinned fetch-nixpkgs-params.nix 1KB build-url.nix 84B default.nix 635B fetch-nixpkgs.nix 1KB scripts view-nixpkgs-json.sh 138B bash-prompt.sh 388B pkgs patsolve_z3 default.nix 587B ats2 default.nix 408B setup-hook.sh 50B ats-lf ats-lf.dats 2KB run.sh 210B README.md 143B shell.nix 20B .gitignore 191B README.md 93B hello-world run.sh 91B shell.nix 20B .gitignore 190B hello.dats 47B template default.nix 238B Makefile 289B hello.dats 119B shell.nix 625B tagged-pointer typecheck-with-z3.sh 128B tagged-pointer.dats 3KB run.sh 259B README.md 311B shell.nix 20B .gitignore 199B .gitignore 196B with-z3 export-z3.sh 104B typecheck-with-z3.sh 125B run.sh 117B with-z3.dats 547B README.md 91B shell.nix 20B .gitignore 192B notes.md 497B bitwise bitwise.dats 1KB typecheck-with-z3.sh 121B run.sh 217B README.md 311B shell.nix 20B .gitignore 192B资源评论
