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.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
PLAYGROUND
RECIPE
LICENSE
README.md

README.md

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.

ATS-CodeBook/RECIPE

Please find various coding examples in this directory.

ATS-CodeBook/PLAYGROUND

This directory is mostly for playing with some programming ideas of interest.