|
crashers
|
Add a regression test for #573.
|
2016-05-30 19:04:16 -04:00 |
|
Data
|
Test the Mergeable laws over lists.
|
2016-07-26 15:27:32 -04:00 |
|
Diff
|
Revert "Show the Term itself."
|
2016-07-12 17:29:47 -04:00 |
|
diffs
|
s/expression_statement/expression_statements
|
2016-07-26 14:26:31 -04:00 |
|
repos
|
++js-test
|
2016-07-29 16:16:58 -04:00 |
|
CorpusSpec.hs
|
Remove SourceSpan from Record
|
2016-07-29 14:12:44 -04:00 |
|
DiffSummarySpec.hs
|
annotate sources
|
2016-07-29 14:34:28 -04:00 |
|
InterpreterSpec.hs
|
Fix overloaded string warning.
|
2016-06-30 15:02:28 -04:00 |
|
RangeSpec.hs
|
Allow all of the tests to run in parallel.
|
2016-01-05 10:38:51 -05:00 |
|
Spec.hs
|
Stub in a spec function.
|
2016-07-26 03:58:14 -04:00 |
|
TermSpec.hs
|
🔥 DataKinds here, too.
|
2016-07-05 10:11:29 -04:00 |
