freebsd-ports/pkg-descr at 699ed1411fe60ea3bf23d3c247bd8b9285af42a6 - freebsd-ports - My personal repos.

mirror/freebsd-ports

mirror of https://git.FreeBSD.org/ports.git synced 2024-11-27 00:57:50 +00:00

Li-Wen Hsu f5c7c99d19 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>

2011-10-14 17:00:39 +00:00

8 lines

340 B

Plaintext

Raw Blame History

 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/