ats-lang / ATS-CodeBook

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.
59Updated 4 years ago

Alternatives and similar repositories for ATS-CodeBook:

Users that are interested in ATS-CodeBook are comparing it to the libraries listed below