joshvera a8c9c815ef Rename NonDetEff to NonDet		2018-03-22 10:35:25 -04:00
..
Analysis	Rename NonDetEff to NonDet	2018-03-22 10:35:25 -04:00
Assigning/Assignment	Initial pass fixing errors raised by weeder.	2018-03-09 12:07:34 -05:00
Data	Initial pass fixing errors raised by weeder.	2018-03-09 12:07:34 -05:00
Diffing	Major updates to identifiers: free variables can be qualified names	2018-03-07 17:01:47 -08:00
fixtures	fix unit tests	2018-03-19 12:17:44 -04:00
Integration	More spec import cleanup	2018-03-13 11:10:50 -07:00
Rendering	TOCSpec import cleanup	2018-03-13 10:59:20 -07:00
repos	remove go-test repo	2016-10-31 17:13:57 -04:00
Semantic	More spec import cleanup	2018-03-13 11:10:50 -07:00
Test/Hspec	🔥 Prologue & protolude.	2017-07-28 14:37:02 -04:00
Doctests.hs	Pass --fast to try to speed up the doctests.	2018-03-19 10:09:59 -04:00
Spec.hs	TDD FTW	2018-03-15 11:34:34 -07:00
SpecHelpers.hs	Merge remote-tracking branch 'origin/master' into classes	2018-03-16 16:51:59 -04:00