Trace:
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Next revisionBoth sides next revision |
| navigation [2020-09-16 16:26] – mh | navigation [2020-10-16 11:12] – mh |
|---|
| === Documentation === | === Documentation === |
| |
| * [[documentation:report| Curry Report]] | * [[http://www.curry-lang.org | Curry Homepage] |
| | * [[documentation:report | Curry Report]] |
| * [[documentation:tutorial | Tutorial ]] | * [[documentation:tutorial | Tutorial ]] |
| * [[documentation:learn_more | Learn More ]] | * [[documentation:learn_more | Learn More ]] |
| === Libraries === | === Libraries === |
| |
| | * [[http://www-ps.informatik.uni-kiel.de/~cpm | Packages ]] |
| | * [[http://www-ps.informatik.uni-kiel.de/kics2/currygle/ | Curr(y)gle API Search ]] |
| * [[http://www.informatik.uni-kiel.de/~pakcs/lib/ | PAKCS Libraries ]] | * [[http://www.informatik.uni-kiel.de/~pakcs/lib/ | PAKCS Libraries ]] |
| * [[http://www-ps.informatik.uni-kiel.de/kics2/lib/ | KiCS2 Libraries ]] | * [[http://www-ps.informatik.uni-kiel.de/kics2/lib/ | KiCS2 Libraries ]] |
| * [[http://www-ps.informatik.uni-kiel.de/kics2/currygle/ | Curr(y)gle API Search ]] | |
| * [[http://www-ps.informatik.uni-kiel.de/~cpm | Packages ]] | |
| |
| === Tools === | === Tools === |
