head	1.1;
access;
symbols
	RELEASE_8_3_0:1.1
	RELEASE_9_0_0:1.1;
locks; strict;
comment	@# @;


1.1
date	2011.10.14.17.00.39;	author lwhsu;	state Exp;
branches;
next	;


desc
@@


1.1
log
@Add ats 0.2.5, a language with a type system rooted in the Applied Type
System.

PR:		ports/161575
Submitted by:	Jyun-Yan You <jyyou@@cs.nctu.edu.tw>
@
text
@ATS is a statically typed programming language
that unifies implementation with formal specification.
It is equipped with a highly expressive type system rooted in
the framework Applied Type System, which gives the language its name.
In particular, both dependent types and linear types are available in ATS.

WWW: http://www.ats-lang.org/
@
