Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
implementations:kics [2014-06-13 12:35] 127.0.0.1 external edit |
implementations:kics [2015-01-08 12:11] mh |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== KiCS ====== | ====== KiCS ====== | ||
- | KiCS compiles Curry to Haskell and can be downloaded at [[http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/projects/|the KiCS project page]]. | + | KiCS compiles Curry to [[http://www.haskell.org/ | Haskell]] and can be downloaded at [[http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/projects/|the KiCS project page]]. |
+ | |||
+ | It is no longer maintained. Nevetheless, you find here some hints to use an old version of KiCS. | ||
+ | |||
+ | ===== The KiCS User Manual (also included in the distribution) ===== | ||
+ | |||
+ | * [[http://www-ps.informatik.uni-kiel.de/~bbr/kics/UserManual.html | User Manual (html)]] | ||
+ | * [[http://www-ps.informatik.uni-kiel.de/~bbr/download/UserManual.pdf | User Manual (pdf)]] |