Media Manager

Media Files

Files in tools:strictcheck

  • tools:strictcheck:and.png
    and.png
    380×279
    2014-06-13 12:35
    11.1 KB
  • tools:strictcheck:f.png
    f.png
    338×279
    2014-06-13 12:35
    8.5 KB
  • tools:strictcheck:seq.png
    seq.png
    530×1431
    2014-06-13 12:35
    67.3 KB

File

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/tools/editors.txt · Last modified: 2020-09-05 16:42 by bble
Back to top
CC Attribution-Noncommercial-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0