ATSLIB

Jump to bottom Edit New page

Hongwei Xi edited this page Oct 2, 2014 · 4 revisions

ATSLIB is a set of libraries included with ATS, which seems to include all libraries except those included in contrib and a few others that are primarily designed to be used by ATS itself, such as libatslex.

ATSLIB currently includes prelude, libc, and libats (see codegen/Makefile_atslib for how ATSLIB is built).

Examples using ATSLIB can be found in doc/EXAMPLE/ATSLIB.