|
Diff
|
Rename the Diff spec.
|
2017-11-27 13:59:44 -05:00 |
|
Functor
|
Test that generic Show1 shows record selectors.
|
2017-11-30 10:44:32 -05:00 |
|
Mergeable
|
🔥 the Context/Empty tests of the Mergeable laws.
|
2017-10-23 11:53:36 -04:00 |
|
Source
|
Rename the Source spec.
|
2017-11-27 13:49:52 -05:00 |
|
Term
|
Rename the Term spec.
|
2017-11-27 14:02:03 -05:00 |
