wui-1.1.0
---------
Version      1.1.0
Author       Michael Hanus <mh@informatik.uni-kiel.de>
Synopsis     Libraries to support the type-oriented construction of web user
             interfaces
Category     User Interface Web
Dependencies
    html >= 1.1.0
    javascript >= 1.0.0
Compiler compatibility
    pakcs >= 1.14.0,  < 2.0.0
    kics2 >= 0.5.0,  < 2.0.0
Exported modules
    WUI WUIjs
Test suite
    Directory     src
    Check options -v --nosource
    Test modules  WUI WUIjs
Test suite
    Directory     examples
    Check options -v
    Test modules  Persons
Source
    Git https://git.ps.informatik.uni-kiel.de/curry-packages/wui.git@v1.1.0
License
    BSD-3-Clause
License file
    LICENSE