/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
|