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:pakcs [2007-07-27 11:20] jac |
implementations:pakcs [2008-04-16 22:38] 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 [[http://www.informatik.uni-kiel.de/~pakcs/|the PAKCS homepage]]. | ||
