Changes between Version 4 and Version 5 of ccpn

Timestamp:

Feb 2, 2019, 11:12:17 PM (6 years ago)

Author:

9simon

Comment:

--

ccpn

@@ -8 +8 @@
 While Haskell is used as the implementations language, Curry is used as the inscription language.
 The main advantage is that CCPN inscriptions are side effect free due to the Curry's functional purness and the control of side effects by its strong type system.
-Binding searches are based on the highly optimized KiCS2 compiler Curry evaluation environment.
+Binding searches are based on the highly optimized Curry evaluation environment of the [https://www-ps.informatik.uni-kiel.de/kics2 KiCS2] compiler.
 
 Here we provide a download for reviewers:  [http://www.informatik.uni-hamburg.de/TGI/moldt/renew2.6devbase.zip renew2.6devbase.zip]