Timothy Clem 1c701f9775 Merge remote-tracking branch 'origin/master' into generate-tags-with-context		2017-10-27 11:33:09 -07:00
..
Functor	Merge remote-tracking branch 'origin/master' into generate-tags-with-context	2017-10-27 11:33:09 -07:00
Mergeable	🔥 the Context/Empty tests of the Mergeable laws.	2017-10-23 11:53:36 -04:00
RandomWalkSimilarity	Use the comparableTerms relation in the RWS tests.	2017-10-03 15:10:11 -04:00
Syntax/Assignment	Rename the Term module to Data.Term.	2017-09-27 12:37:37 -04:00