wui-2.0.0 --------- Version 2.0.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 >= 2.0.0 javascript >= 2.0.0 Compiler compatibility pakcs >= 2.0.0 kics2 >= 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@v2.0.0 License BSD-3-Clause License file LICENSE