diff options
Diffstat (limited to 'lang/ats/pkg-descr')
| -rw-r--r-- | lang/ats/pkg-descr | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lang/ats/pkg-descr b/lang/ats/pkg-descr new file mode 100644 index 000000000000..ff3e20355ea0 --- /dev/null +++ b/lang/ats/pkg-descr @@ -0,0 +1,7 @@ +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/ |