kaya 0.4.4-6ubuntu3 (arm64 binary) in ubuntu trusty

 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.

Details

Package version:
0.4.4-6ubuntu3
Source:
kaya 0.4.4-6ubuntu3 source package in Ubuntu
Status:
Published
Component:
universe
Priority:
Extra