joshvera b3667104fb Merge remote-tracking branch 'origin/master' into typescript-assignment		2017-09-28 14:24:57 -07:00
..
Functor	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-28 14:24:57 -07:00
Mergeable	🔥 Prologue & protolude.	2017-07-28 14:37:02 -04:00
RandomWalkSimilarity	Merge the Decorators module into Data.Syntax.Algebra.	2017-09-27 12:54:01 -04:00
Syntax/Assignment	Rename the Term module to Data.Term.	2017-09-27 12:37:37 -04:00