About

This package is 405.4 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/a/ats-lang-anairiats/ats-lang-anairiats-doc_0.2.5-0ubuntu1_all.deb .

View its full control file here: debian/control.

Description

Documentation for the ATS compiler Anairiats

Relations

This package does not depend on any other package.

This package recommends: ats-lang-anairiats.

This package does not suggest any other package.

This package does not conflict with any other package.

Package Contents

This package is indexed.

ats-lang-anairiats-doc 0.2.5-0ubuntu1 is in ubuntu - precise / universe. This package's architecture is: architectureless.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/ats-lang-anairiats-doc/ root:root 0o755
/usr/share/doc/ats-lang-anairiats-doc/changelog.Debian.gz application/gzip root:root 0o644 583 bytes
/usr/share/doc/ats-lang-anairiats-doc/copyright text/plain root:root 0o644 2.9 KB
/usr/share/doc/ats-lang-anairiats-doc/FAQ.txt.gz application/gzip root:root 0o644 2.1 KB
/usr/share/doc/ats-lang-anairiats-doc/manual/ root:root 0o755
/usr/share/doc/ats-lang-anairiats-doc/manual/manual_main.pdf.gz application/gzip root:root 0o644 308.2 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/ root:root 0o755
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/ root:root 0o755
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/arrays-and-matrices.dats text/x-c root:root 0o644 3.8 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/arrays-and-matrices.html text/html root:root 0o644 21.3 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/ATS-and-C.dats text/x-c root:root 0o644 858 bytes
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/ATS-and-C.html text/html root:root 0o644 4.2 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/ats-main.dats text/plain root:root 0o644 463 bytes
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/ats-main.html text/html root:root 0o644 2.6 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/basics.dats text/plain root:root 0o644 1.6 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/basics.html text/html root:root 0o644 15.9 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/call-by-reference.dats text/plain root:root 0o644 309 bytes
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/call-by-reference.html text/html root:root 0o644 3.0 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/casting-functions.dats text/x-c root:root 0o644 941 bytes
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/casting-functions.html text/plain root:root 0o644 6.8 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/compilation.html text/html root:root 0o644 2.5 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/dataprops_atxt.dats.gz application/gzip root:root 0o644 1.3 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/dataprops.dats.gz application/gzip root:root 0o644 1.2 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/dataprops.html text/html root:root 0o644 9.0 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/datatypes_atxt.dats.gz application/gzip root:root 0o644 2.1 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/datatypes.dats text/plain root:root 0o644 2.6 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/datatypes.html text/plain root:root 0o644 13.9 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/dataviews.dats text/x-c root:root 0o644 3.6 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/dataviews.html text/plain root:root 0o644 23.9 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/dataviewtypes.dats text/plain root:root 0o644 3.1 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/dataviewtypes.html text/plain root:root 0o644 20.7 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/exceptions.dats text/x-c root:root 0o644 1.7 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/exceptions.html text/plain root:root 0o644 11.8 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/file-inclusion.html text/x-c root:root 0o644 1.3 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/filename-extensions.html text/x-c root:root 0o644 1.9 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/fixity.dats text/x-c root:root 0o644 311 bytes
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/fixity.html text/html root:root 0o644 3.6 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/function-or-closure_atxt.dats.gz application/gzip root:root 0o644 1.7 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/function-or-closure.dats text/plain root:root 0o644 1.3 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/function-or-closure.html text/plain root:root 0o644 16.5 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/higher-order-functions.dats text/plain root:root 0o644 1.7 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/higher-order-functions.html text/html root:root 0o644 7.5 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/input-and-output.dats text/plain root:root 0o644 3.1 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/input-and-output.html text/html root:root 0o644 21.2 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/lazy-evaluation.dats text/plain root:root 0o644 2.0 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/lazy-evaluation.html text/html root:root 0o644 8.7 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/linear-arrays.dats text/x-c root:root 0o644 2.7 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/linear-arrays.html text/html root:root 0o644 14.0 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/lists.dats text/plain root:root 0o644 1.3 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/lists.html text/html root:root 0o644 6.0 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/llazy-evaluation.dats text/x-c root:root 0o644 1.3 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/llazy-evaluation.html text/html root:root 0o644 7.0 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/loopcon.dats text/plain root:root 0o644 3.4 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/loopcon.html text/plain root:root 0o644 15.5 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/macros.dats text/plain root:root 0o644 723 bytes
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/macros.html text/html root:root 0o644 5.5 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/Makefile.gz application/gzip root:root 0o644 1.6 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/overloading.html text/html root:root 0o644 873 bytes
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/pattern-matching.dats text/plain root:root 0o644 1.7 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/pattern-matching.html text/plain root:root 0o644 15.7 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/pointers.dats text/plain root:root 0o644 588 bytes
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/pointers.html text/plain root:root 0o644 7.3 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/programming-with-theorem-proving.dats text/x-c root:root 0o644 3.5 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/programming-with-theorem-proving.html text/plain root:root 0o644 17.9 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/references.dats text/plain root:root 0o644 1.8 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/references.html text/html root:root 0o644 7.8 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/stack-allocation.dats text/x-c root:root 0o644 3.2 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/stack-allocation.html text/plain root:root 0o644 11.7 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/statetypes.html text/html root:root 0o644 769 bytes
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/strings.dats text/x-c root:root 0o644 3.3 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/strings.html text/html root:root 0o644 23.2 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/syntax-coloring.html text/plain root:root 0o644 1.1 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/tail-recursive-functions.dats text/plain root:root 0o644 2.1 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/tail-recursive-functions.html text/plain root:root 0o644 9.0 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/templates.dats text/x-c root:root 0o644 587 bytes
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/templates.html text/x-c root:root 0o644 4.1 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/termination-metrics.dats text/plain root:root 0o644 1.3 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/termination-metrics.html text/plain root:root 0o644 9.5 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/tutorial.dats text/plain root:root 0o644 1.3 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/types-with-effects.html text/html root:root 0o644 909 bytes
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/val-and-var.dats text/plain root:root 0o644 1.2 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/val-and-var.html text/plain root:root 0o644 9.2 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/variadicity.dats text/plain root:root 0o644 929 bytes
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/contents/variadicity.html text/plain root:root 0o644 6.2 KB
/usr/share/doc/ats-lang-anairiats-doc/TUTORIAL/tutorial.html text/html root:root 0o644 6.5 KB
/usr/share/doc-base/ root:root 0o755
/usr/share/doc-base/ats-lang-anairiats-manual text/plain root:root 0o644 292 bytes
/usr/share/doc-base/ats-lang-anairiats-tutorial text/plain root:root 0o644 372 bytes