Trace:

Media Manager

Namespaces

Choose namespace

[root]
- documentation
- events
- latex
- logos
- tools
  - cass
  - cpm
  - currydoc
  - strictcheck
- wiki

Media Files
Upload
Search

Search in tools:cass

View
Edit
History

tools:currytest.jpg

Date:: 2014-06-13 12:35
Filename:: currytest.jpg
Format:: JPEG
Size:: 80KB
Width:: 906
Height:: 482

References for:: CurryTest: A Tool for Testing Curry Programs

/srv/dokuwiki/currywiki/data/pages/start.txt · Last modified: 2020-10-16 11:22 by mh

Back to top

CC Attribution-Noncommercial-Share Alike 4.0 International