Recent changes to Home

WikiPage Home modified by jeffrey

jeffrey — Mon, 18 Mar 2013 04:30:06 -0000

--- v19
+++ v20
@@ -1,4 +1,6 @@
 Welcome to the wiki for ATS, the **A**pplied **T**ype **S**ystem.
+
+The most recent version of ATS is version 0.2.9.

 The programming language ATS unifies specification and implementation by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.

WikiPage Home modified by jeffrey

jeffrey — Thu, 14 Mar 2013 23:02:01 -0000

--- v18
+++ v19
@@ -11,7 +11,7 @@
 - ATS code style: [Style guide], Detecting and avoiding [Memory leaks], [Code optimization]. 
 - Library reference: [Built-in datatypes], [Built-in functions], [Built-in operators], [Error messages], [Input and output], [Dependent types], [Linear types].
 - Extensions: [Writing interfaces to C libraries].
-- ATS internals: [Built-in constraint solving].
+- ATS internals: [Built-in constraint solving], [Stack and heap allocation].
 - Information on specific keywords in ATS: [char], [dataviewtype], [sort], [type].

 ATS is distributed under the GNU General Public License version 2.1, or any later version.

WikiPage Home modified by jeffrey

jeffrey — Thu, 14 Mar 2013 22:39:46 -0000

--- v17
+++ v18
@@ -8,7 +8,7 @@

 - [Frequently asked questions].
 - [Building and installing].
-- ATS code style: [Style guide], Detecting and avoiding [Memory leaks], [Code Optimization]. 
+- ATS code style: [Style guide], Detecting and avoiding [Memory leaks], [Code optimization]. 
 - Library reference: [Built-in datatypes], [Built-in functions], [Built-in operators], [Error messages], [Input and output], [Dependent types], [Linear types].
 - Extensions: [Writing interfaces to C libraries].
 - ATS internals: [Built-in constraint solving].

WikiPage Home modified by jeffrey

jeffrey — Thu, 14 Mar 2013 22:23:34 -0000

--- v16
+++ v17
@@ -8,7 +8,7 @@

 - [Frequently asked questions].
 - [Building and installing].
-- ATS code style: [Style guide], Detecting [Memory Leaks], [Code Optimization]. 
+- ATS code style: [Style guide], Detecting and avoiding [Memory leaks], [Code Optimization]. 
 - Library reference: [Built-in datatypes], [Built-in functions], [Built-in operators], [Error messages], [Input and output], [Dependent types], [Linear types].
 - Extensions: [Writing interfaces to C libraries].
 - ATS internals: [Built-in constraint solving].

WikiPage Home modified by Brandon Barker

Brandon Barker — Wed, 13 Mar 2013 21:39:15 -0000

--- v15
+++ v16
@@ -8,7 +8,7 @@

 - [Frequently asked questions].
 - [Building and installing].
-- ATS code style: [Style guide], [Detecting memory leaks]. 
+- ATS code style: [Style guide], Detecting [Memory Leaks], [Code Optimization]. 
 - Library reference: [Built-in datatypes], [Built-in functions], [Built-in operators], [Error messages], [Input and output], [Dependent types], [Linear types].
 - Extensions: [Writing interfaces to C libraries].
 - ATS internals: [Built-in constraint solving].

WikiPage Home modified by jeffrey

jeffrey — Wed, 13 Mar 2013 09:12:23 -0000

--- v14
+++ v15
@@ -14,5 +14,7 @@
 - ATS internals: [Built-in constraint solving].
 - Information on specific keywords in ATS: [char], [dataviewtype], [sort], [type].

+ATS is distributed under the GNU General Public License version 2.1, or any later version.
+
 [1]: http://www.ats-lang.org/
 [2]: http://www.ats-lang.org/DOCUMENT/INTPROGINATS/HTML/book1.html

WikiPage Home modified by jeffrey

jeffrey — Wed, 13 Mar 2013 09:08:15 -0000

--- v13
+++ v14
@@ -7,6 +7,7 @@
 This wiki contains the following pages.

 - [Frequently asked questions].
+- [Building and installing].
 - ATS code style: [Style guide], [Detecting memory leaks]. 
 - Library reference: [Built-in datatypes], [Built-in functions], [Built-in operators], [Error messages], [Input and output], [Dependent types], [Linear types].
 - Extensions: [Writing interfaces to C libraries].

WikiPage Home modified by jeffrey

jeffrey — Wed, 13 Mar 2013 09:07:23 -0000

--- v12
+++ v13
@@ -8,7 +8,7 @@

 - [Frequently asked questions].
 - ATS code style: [Style guide], [Detecting memory leaks]. 
-- Library reference: [Built-in datatypes], [Built-in functions], [Built-in operators], [Error messages], [Input and output], [Linear types].
+- Library reference: [Built-in datatypes], [Built-in functions], [Built-in operators], [Error messages], [Input and output], [Dependent types], [Linear types].
 - Extensions: [Writing interfaces to C libraries].
 - ATS internals: [Built-in constraint solving].
 - Information on specific keywords in ATS: [char], [dataviewtype], [sort], [type].

WikiPage Home modified by jeffrey

jeffrey — Wed, 13 Mar 2013 08:59:25 -0000

--- v11
+++ v12
@@ -7,8 +7,8 @@
 This wiki contains the following pages.

 - [Frequently asked questions].
-- [Style guide]. 
-- Library reference: [Built-in datatypes], [Built-in functions], [Built-in operators], [Error messages], [Input and output].
+- ATS code style: [Style guide], [Detecting memory leaks]. 
+- Library reference: [Built-in datatypes], [Built-in functions], [Built-in operators], [Error messages], [Input and output], [Linear types].
 - Extensions: [Writing interfaces to C libraries].
 - ATS internals: [Built-in constraint solving].
 - Information on specific keywords in ATS: [char], [dataviewtype], [sort], [type].

WikiPage Home modified by jeffrey

jeffrey — Wed, 13 Mar 2013 08:58:05 -0000

--- v10
+++ v11
@@ -8,8 +8,9 @@

 - [Frequently asked questions].
 - [Style guide]. 
-- Library reference: [Built-in datatypes], [Built-in functions], [Built-in operators], [Error messages].
-- [Writing interfaces to C libraries].
+- Library reference: [Built-in datatypes], [Built-in functions], [Built-in operators], [Error messages], [Input and output].
+- Extensions: [Writing interfaces to C libraries].
+- ATS internals: [Built-in constraint solving].
 - Information on specific keywords in ATS: [char], [dataviewtype], [sort], [type].

 [1]: http://www.ats-lang.org/