checklist.day

ATS2 (PostiATS)

JSON →
cli 0.4.2 ·c
✓ install reviewed
devops

Programming language with formal specification features, providing compilers and tools. Available on Homebrew and apt.

Resources

homepagewww.cs.bu.edu/~hwxi/atslangweb/ ↗

API endpoints

full doc /v1/registry/ats2-postiats
install /v1/registry/ats2-postiats/install