|
Diff
|
Rename the Diff spec.
|
2017-11-27 13:59:44 -05:00 |
|
Functor
|
FreeVariable Name as NonEmpty List
|
2018-03-08 09:34:09 -08: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
|
Merge branch 'musical-modules' into 🔥-monolithic-syntax
|
2017-11-28 11:59:38 -05:00 |
