All test data (code) to be contained in j.m.blExt.test module. The samples are to be kept separately with generation on to demonstrate fewer false negatives of the new typechecker. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||
All test data (code) to be contained in j.m.blExt.test module. The samples are to be kept separately with generation on to demonstrate fewer false negatives of the new typechecker. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||