Differences

This shows you the differences between two versions of the page.

--- implementations:overview [2020-11-30 10:48] – [Spite] mh
+++ implementations:overview [2020-11-30 10:51] (current) – [KiCS2] mh
@@ Line 48: / Line 48: @@
 The [[ http://www-ps.informatik.uni-kiel.de/kics2 | KiCS2 ]]
-is a new implementation that translates Curry
+is an implementation that translates Curry
 into [[ http://www.haskell.org/ | Haskell]].
 KiCS2 supports several search strategies to encapsulate search
-(e.g., depth-first, breadth-first) and advanced extensions
+(e.g., depth-first, breadth-first) and various extensions
 of Curry like
 [[ http://www.informatik.uni-kiel.de/~mh/papers/PPDP09.html | encapsulated search via set functions ]]
 and [[http://www.informatik.uni-kiel.de/~mh/papers/LOPSTR05.html | functional patterns]].
-It also provides almost all libraries
+It also supports the same libraries and packages as PAKCS
-of PAKCS for application programming so that it has been
+so that it has been used for various applications.
-used for various applications.
 **Contact:**

/srv/dokuwiki/currywiki/data/pages/implementations/overview.txt · Last modified: 2020-11-30 10:51 by mh

Back to top