Bug#320967: ITP: kaya -- A Statically typed, imperative programming language

[Stuart Teasdale <stu@drogna.org.uk>]

Package: wnpp
Severity: wishlist
Owner: Stuart Teasdale <stu@drogna.org.uk>

* Package name    : kaya
  Version         : 0.1.24
  Upstream Author : Edwin Brady <ecb@compsoc.dur.ac.uk>
* URL             : http://compsoc.dur.ac.uk/kaya/
* License         : GPL
  Description     : A Statically typed, imperative programming language

 Kaya is a compiled statically typed (ie, types are checked at compile
 time) imperative programming language; unlike other such languages,
 however, types are inferred rather than declared - there is no need for
 type declarations of local variables. Kaya has "tagged union" data
 structures, a powerful feature more commonly found in functional
 languages such as Ocaml and Haskell.
 .
 Kaya also has built-in abstractions for web application development,
 making it easy to write a CGI program without paying too much attention
 to low level details such as state management and form handling.

-- System Information:
Debian Release: testing/unstable
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: i386 (i686)
Shell:  /bin/sh linked to /bin/bash
Kernel: Linux 2.6.7
Locale: LANG=en_GB.ISO-8859-15, LC_CTYPE=en_GB.ISO-8859-15 (charmap=ISO-8859-1) (ignored: LC_ALL set to en_GB)