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
|
Remove extra split2.html
|
2016-07-22 17:10:11 -04:00 |
repos
|
++js-test
|
2016-07-28 14:29:24 -04:00 |
DiffSummarySpec.hs
|
partially apply isBranchNode
|
2016-07-26 14:36:56 -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 |