ATS-LANG-ORG

A Cargo subcommand for building ATS3 projects

For parts of https://www.ats-lang.org

This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primarily meant as recipes for people interested in learning ATS as well as using it to construct software for use in the real world.

For using npm to manage additional ATS-Postiats packages

For template-based library code that is, kind of, inspired by category theory.