68 Commits

Author	SHA1	Message	Date
Rob Rix	b8d714af28	Use the EvaluatingState fields directly.	2018-03-27 15:23:26 -04:00
joshvera	ba3969c4b0	Merge remote-tracking branch 'origin/master' into query-final-helpers	2018-03-23 17:03:25 -04:00
Timothy Clem	7f71e27df4	Some helpers to query Final	2018-03-23 10:11:29 -07:00
Josh Vera	a2e73afd45	Merge branch 'master' into module-resolution	2018-03-22 15:42:44 -04:00
joshvera	a8c9c815ef	Rename NonDetEff to NonDet	2018-03-22 10:35:25 -04:00
Timothy Clem	1a7f0e4b77	TypeApplications not necessary anymore	2018-03-19 14:53:55 -07:00
Patrick Thomson	56e7c25268	Move Exports to its own module.	2018-03-16 14:09:41 -04:00
Rob Rix	4bd7bc5427	Remove the location parameter from Value.	2018-03-15 16:04:36 -04:00
Rob Rix	300af7ebde	Correct the paths to the global env.	2018-03-15 10:23:50 -04:00
Rob Rix	3c6d4f9976	🔥 mentions of the obsolete *Value synonyms.	2018-03-15 10:14:22 -04:00
Timothy Clem	7204debb07	Merge remote-tracking branch 'origin/master' into import-language-tour	2018-03-14 11:38:49 -07:00
Timothy Clem	f3b2e0cd2a	Store a list of terms in the unevaluted module table to allow multi file module imports	2018-03-13 13:09:04 -07:00
Timothy Clem	740d092271	Whitespace	2018-03-13 10:59:06 -07:00
Timothy Clem	1687c63d64	Reduce imports by relying on SpecHelpers (and Util)	2018-03-13 10:26:28 -07:00
Timothy Clem	ae05ff7313	Not ready for this just yet	2018-03-13 10:13:56 -07:00
Timothy Clem	69b2c5c64d	Sort out spechelper again with new interfaces	2018-03-12 16:13:21 -07:00
Timothy Clem	296fc5d4b5	Load up multiple files in the same package (Go)	2018-03-12 15:01:19 -07:00
Timothy Clem	5b1829e474	Some nice Go eval import specs	2018-03-12 13:52:50 -07:00