progs/tests/test-manifest.txt
author Chengsong
Sun, 08 May 2022 13:26:31 +0100
changeset 506 69ad05398894
parent 161 2778715487a9
permissions -rw-r--r--
thesis chapter 2 section 2.4 2.5 Isarfied ClosedForms.thy
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
161
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     1
basic3.txt
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     2
class.txt
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     3
left-assoc.txt
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     4
right-assoc.txt
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     5
forced-assoc.txt
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     6
nullsub3.txt
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     7
repetition2.txt
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     8
totest.txt
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     9
osx-bsd-critical.txt