文件名称：ats-sandbox:使用ATS编程语言进行实验
文件大小：21KB
文件格式：ZIP
更新时间：2024-06-04 11:13:06
ATS
练习 具有ats2 0.3.11和patsolve_z3的nix壳。 nix-shell ./shell.nix
【文件预览】：
ats-sandbox-master
----c2ats()
--------glut()
----z3-stuff()
--------test.z3(282B)
----nix()
--------nixpkgs-pinned()
--------scripts()
--------bash-prompt.sh(388B)
--------pkgs()
----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)