-
Michael Hanus authored
Implements HTML library (with identical API) with scripts and executables independent of Curry distribution
65a958b2
Implements HTML library (with identical API) with scripts and executables independent of Curry distribution