Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
implementations:pakcs [2007-07-27 11:30] jac |
implementations:pakcs [2008-04-16 22:40] jac |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== PAKCS ====== | ====== PAKCS ====== | ||
- | This page will soon contain detailed information about the Curry implementation pakcs. | + | This page will soon contain detailed information about the Curry implementation PAKCS. |
+ | |||
+ | For now please visit the [[http://www.informatik.uni-kiel.de/~pakcs/|PAKCS homepage]]. |