Data
|
Bounds are closed ranges.
|
2017-06-15 10:06:15 -04:00 |
repos
|
remove go-test repo
|
2016-10-31 17:13:57 -04:00 |
SES/Myers
|
Correct the type annotations in the tests.
|
2017-03-23 14:14:03 -04:00 |
Test/Hspec
|
One more newline before diff
|
2017-02-15 08:20:49 -08:00 |
CommandSpec.hs
|
Correct the CommandSpec.
|
2017-06-15 10:17:41 -04:00 |
DiffSpec.hs
|
diffTerms takes its inputs in Both.
|
2017-06-01 11:10:47 -04:00 |
InterpreterSpec.hs
|
diffTerms takes its inputs in Both.
|
2017-06-01 11:10:47 -04:00 |
SemanticSpec.hs
|
Filter out both-missing cases up front.
|
2017-06-01 11:33:12 -04:00 |
SourceSpec.hs
|
🔥 a redundant import.
|
2017-05-19 12:19:35 -04:00 |
Spec.hs
|
Git gone.
|
2017-06-14 17:47:31 -04:00 |
SpecHelpers.hs
|
Clean up the readFile helper.
|
2017-06-15 11:28:00 -04:00 |
TermSpec.hs
|
Migrate the Term property test to leancheck.
|
2017-01-07 23:21:22 -05:00 |
TOCSpec.hs
|
Add a test for file that starts with newline
|
2017-06-14 11:01:12 -06:00 |