868 Commits

Author	SHA1	Message	Date
Rob Rix	1e95b0270e	Rename SemanticCmdLine to Semantic.CLI.	2017-11-27 11:57:27 -05:00
Rob Rix	bb21a24a93	Rename RWS to Diffing.Algorithm.RWS.	2017-11-27 11:51:39 -05:00
Rob Rix	dad5abb189	Rename SES to Diffing.Algorithm.SES.	2017-11-27 11:48:39 -05:00
Rob Rix	cdefcdb33d	Rename Interpreter to Diffing.Interpreter.	2017-11-27 11:45:08 -05:00
Rob Rix	cfd27ec20c	Rename Algorithm -> Diffing.Algorithm.	2017-11-27 11:42:57 -05:00
Rob Rix	72c804dc48	Rename Language.Markdown to Parser.CMark.	2017-11-22 17:26:14 -05:00
Rob Rix	1c0101a269	Rename TreeSitter to Parser.TreeSitter.	2017-11-22 17:24:10 -05:00
Rob Rix	3a06686361	Rename Data.Syntax.Algebra to Decorator.	2017-11-22 17:21:22 -05:00
Timothy Clem	82e45bdb35	Collapse up collecting interpreter functions into one file	2017-11-22 13:50:22 -08:00
Timothy Clem	87145308cd	Bring in some of the other interpreters	2017-11-22 08:04:13 -08:00
Rob Rix	9579bbab5c	Merge remote-tracking branch 'origin/go-assignment' into 🔥-monolithic-syntax	2017-11-21 17:26:05 -05:00
Rob Rix	750f6a2d93	Merge branch '🔥-patch-output' into 🔥-monolithic-syntax	2017-11-21 17:15:58 -05:00
Rob Rix	aa8f6883e8	🔥 Alignment.	2017-11-21 17:12:00 -05:00
Rob Rix	94ce3fe8f6	🔥 Renderer.Patch.	2017-11-21 17:11:54 -05:00
Rob Rix	8dea7d4194	🔥 AlignmentSpec.	2017-11-21 17:08:52 -05:00
Rob Rix	efa454edcc	🔥 PatchOutputSpec.	2017-11-21 17:08:40 -05:00
Rick Winfrey	e87b1f6e42	Add Language.Go.Type module	2017-11-21 12:48:29 -08:00
Rick Winfrey	d3211a5dd2	Merge branch 'master' into go-assignment	2017-11-21 10:42:15 -08:00
Rob Rix	99c7b5ac6e	Merge branch 'master' into 🔥-monolithic-syntax	2017-11-21 12:37:45 -05:00
Timothy Clem	9652926841	Merge remote-tracking branch 'origin/master' into generate-tags-with-context	2017-11-16 14:35:20 -08:00
Timothy Clem	480c8b1479	Small version of python syntax to work with	2017-11-15 15:08:35 -08:00
Rob Rix	5ff724abfa	Merge branch 'master' into integrate-abstract-interpretation	2017-11-15 11:33:48 -05:00
Rob Rix	2ddd0fafdc	Merge remote-tracking branch 'origin/go-assignment' into 🔥-monolithic-syntax	2017-11-15 10:57:25 -05:00
Rob Rix	fd11bac981	Merge branch '🔥-monolithic-typescript-assignment' into 🔥-monolithic-syntax	2017-11-15 10:53:01 -05:00
Rob Rix	7b291087cc	Merge branch 'master' into 🔥-monolithic-syntax	2017-11-15 10:52:30 -05:00
Rob Rix	4916ccde2f	🔥 monolithic TypeScript assignment.	2017-11-15 10:42:53 -05:00
Timothy Clem	8c727bd4f0	Extract out the Tag renderer into it's own module	2017-11-09 09:01:35 -08:00
Timothy Clem	772762ecef	Merge remote-tracking branch 'origin/master' into generate-tags-with-context	2017-11-08 13:16:07 -08:00
Rick Winfrey	460dd54c33	Merge branch 'master' into go-assignment	2017-10-30 15:02:01 -07:00
Rick Winfrey	f949980f55	Add Language.Go.Syntax to cabal file	2017-10-30 14:08:50 -07:00
Rob Rix	fbc39aad08	Stub in a feature vector module.	2017-10-27 09:48:46 -04:00
Rob Rix	f6ac8e0bbc	Compute feature vectors as unlifted doubles.	2017-10-26 19:04:56 -04:00
Rob Rix	a7f5db2507	🔥 MonadRandom.	2017-10-26 13:57:08 -04:00
Rick Winfrey	5ad5a882ba	Merge branch 'master' into go-assignment	2017-10-23 15:10:29 -07:00
joshvera	d2f2764c26	Read blobs from a directory	2017-10-17 12:48:27 -04:00
Timothy Clem	3b1fd97748	Port over the Interpreter	2017-10-13 14:17:04 -07:00
Timothy Clem	d1ad4d6318	Port over Environment, Primitive, Type, Value	2017-10-13 11:03:58 -07:00
Timothy Clem	f27ecb61cb	Break out FreeVariables	2017-10-13 11:03:16 -07:00
Timothy Clem	8e198dd460	Bring in Control.Effect	2017-10-13 11:01:04 -07:00
Timothy Clem	448d9ea338	Introduce standard and collecting evaluator type classes ... Ported from https://github.com/robrix/abstract-interpretation	2017-10-13 10:13:41 -07:00
Rob Rix	d6f4914c46	🔥 the dependencies on pretty-show & hscolour.	2017-10-13 10:08:34 -04:00
Rick Winfrey	0452d90672	Update Go.Syntax -> Go.Assignment	2017-10-11 10:39:41 -07:00
Rick Winfrey	cc97f9ee4d	Merge branch 'master' into go-assignment	2017-10-11 10:12:12 -07:00
Rick Winfrey	03d4a4d5c0	Update TypeScript	2017-10-10 15:55:42 -07:00
Rick Winfrey	7c84516fec	Update Ruby	2017-10-10 15:36:09 -07:00
Rick Winfrey	bf4300e5eb	Update Python	2017-10-10 15:27:54 -07:00
Rick Winfrey	2be6e5eef6	Update Markdown	2017-10-10 15:24:25 -07:00
Rick Winfrey	a1185a3800	Rename JSON.Syntax -> JSON.Assignment	2017-10-10 15:14:57 -07:00
Rick Winfrey	eb591f12aa	Merge branch 'master' into go-assignment	2017-10-10 11:44:14 -07:00
Rob Rix	757910c72b	Merge branch 'master' into 🔥-monolithic-syntax	2017-10-10 12:22:37 -04:00
Timothy Clem	ce2e3e737e	Merge branch 'master' into stats	2017-10-05 07:48:49 -07:00
Rob Rix	6db928154b	Merge remote-tracking branch 'origin/master' into 🔥-monolithic-syntax	2017-10-04 16:54:01 -04:00
Timothy Clem	c7f4ae005b	Test actual sending of data	2017-10-04 11:40:39 -07:00
Timothy Clem	666585bf50	Start writing a few specs	2017-10-04 11:12:24 -07:00
Timothy Clem	cd550fab80	Get this new file in .cabal	2017-10-04 09:45:55 -07:00
Timothy Clem	3d5cf4347e	Continue to fill out stats functionality	2017-10-04 09:34:44 -07:00
Rob Rix	44d278bc35	🔥 the unused Language.Ruby module.	2017-10-04 10:34:24 -04:00
Rob Rix	27f92be70e	🔥 the unused Language.Python module.	2017-10-04 10:30:18 -04:00
Timothy Clem	f80445945c	Write some UDP packets	2017-10-03 20:38:36 -07:00
Timothy Clem	78f98ce352	Introduce Task.Stat and general pattern for Task.Queue	2017-10-03 17:22:26 -07:00
Rick Winfrey	660610a349	Merge branch 'master' into go-assignment	2017-10-03 09:40:18 -07:00
Rob Rix	6f4539cdce	Stub in a module for generically-implemented Ord1 specs.	2017-10-03 09:15:45 -04:00
Rob Rix	03a04eb57c	Merge branch 'master' into 🔥-monolithic-syntax	2017-10-02 15:19:57 -04:00
Rick Winfrey	16e4a33dd4	Merge branch 'master' into go-assignment	2017-09-29 13:37:01 -07:00
Rob Rix	f1e89b647d	Stub in a module for a generic Ord1 implementation.	2017-09-29 11:37:18 -04:00
joshvera	b3667104fb	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-28 14:24:57 -07:00
Rob Rix	26d44ae2f0	Merge the Decorators module into Data.Syntax.Algebra.	2017-09-27 12:54:01 -04:00
Rob Rix	1cab700d82	Rename the SplitDiff module to Data.SplitDiff.	2017-09-27 12:43:11 -04:00
Rob Rix	b31043a3eb	Rename the Diff module to Data.Diff.	2017-09-27 12:41:41 -04:00
Rob Rix	9bd0b02ac9	Rename the Term module to Data.Term.	2017-09-27 12:37:37 -04:00
Rob Rix	e8b7e89dca	Rename the Patch module to Data.Patch.	2017-09-27 12:29:07 -04:00
Rob Rix	600e05a09d	Merge Data.Mergeable.Generic into Data.Mergeable.	2017-09-25 19:44:00 -04:00
Rob Rix	468a874168	Define Listable instances for non-empty Unions.	2017-09-25 19:08:55 -04:00
joshvera	d0fb557bec	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-19 17:04:27 -04:00
Rob Rix	573ae6bf39	Move slurp into a separate package.	2017-09-19 12:13:00 -04:00
joshvera	b03d17de34	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-19 11:54:51 -04:00
Rick Winfrey	293be587d9	Merge branch 'master' into go-assignment	2017-09-18 09:13:00 -07:00
Rob Rix	55282d5a61	Merge branch 'master' into separate-diff-annotation-parameters	2017-09-18 08:57:06 -04:00
joshvera	c26dcae355	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-15 14:38:47 -04:00
Rob Rix	be481f7a71	Rename SES.Myers to SES.	2017-09-14 11:53:02 -04:00
joshvera	0e853a5f38	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-13 18:40:29 -04:00
Rob Rix	1c9ad27288	🔥 Data.Functor.Binding.	2017-09-13 16:00:39 -04:00
Timothy Clem	de9f429762	Add utility for generating test payloads from PRs	2017-09-13 12:09:41 -07:00
Rob Rix	004324e008	Merge branch 'master' into directed-acyclic-diffs	2017-09-13 09:27:20 -04:00
Rick Winfrey	40ba408472	Merge branch 'master' into go-assignment	2017-09-12 17:59:40 -07:00
Rick Winfrey	dbaa0bde92	Merge branch 'master' into assignment-macro	2017-09-12 17:39:36 -07:00
Rick Winfrey	a6cbdab2e9	🔥 prettyprint	2017-09-12 15:40:24 -07:00
Rick Winfrey	026efbc1ec	Add pretty-show and hscolour	2017-09-12 10:26:26 -07:00
Rob Rix	c2f4ef3572	Merge branch 'relocate-json-fields' into directed-acyclic-diffs	2017-09-11 16:20:57 -04:00
Rob Rix	6d61c1b683	Merge branch 'specialized-terms-and-diffs' into relocate-json-fields	2017-09-11 16:12:25 -04:00
Rob Rix	2c83e7e283	Merge branch 'master' into specialized-terms-and-diffs	2017-09-11 16:01:20 -04:00
Rob Rix	9b66f548c0	Stub in a module for bindings.	2017-09-10 21:18:31 -04:00
Rob Rix	c69e3383e3	Define a module for JSONFields.	2017-09-09 17:15:22 +01:00
Rob Rix	24914eeb05	Move the remaining Listable instances into the tests.	2017-09-09 14:51:37 +01:00
Rob Rix	3ad5374b94	Move all the Listable stuff into the tests.	2017-09-09 14:44:57 +01:00
Rob Rix	07bef3f75e	🔥 deepseq.	2017-09-08 17:35:55 +01:00
joshvera	6c4ca4f5a5	Merge remote-tracking branch 'origin/explicit-choice' into typescript-assignment	2017-09-01 15:52:16 -04:00
Rob Rix	826adc829f	🔥 the Array table module.	2017-09-01 12:37:02 -04:00
Rob Rix	c8798c6ea7	Rename the IntMap table module to Table.	2017-09-01 12:36:35 -04:00
Rob Rix	7bb025ed76	🔥 the Table module.	2017-09-01 12:35:57 -04:00
Rob Rix	e0d2debad5	Stub in a module for IntMap-based jump tables.	2017-08-31 22:07:38 -04:00
Rob Rix	e0a9b5681e	Stub in a module for array-based jump tables.	2017-08-31 22:07:12 -04:00
Rob Rix	d89d82924a	Stub in a module for jump tables.	2017-08-31 22:04:49 -04:00
Rob Rix	f22f0b053f	🔥 Syntax.	2017-08-30 14:48:24 -04:00
Rob Rix	ff2d371afd	🔥 Category.	2017-08-30 14:47:43 -04:00
Rob Rix	0fa8c3255a	🔥 Info.hs.	2017-08-30 14:46:36 -04:00
Rob Rix	58f478defe	Merge remote-tracking branch 'origin/go-assignment' into 🔥-monolithic-syntax	2017-08-30 14:12:57 -04:00
Rob Rix	dbd05d33bd	🔥 monolithic Go assignment.	2017-08-29 15:53:30 -04:00
Rob Rix	81eb3f8425	🔥 monolithic Ruby assignment.	2017-08-29 15:50:11 -04:00
Rob Rix	fb860e1fa6	🔥 the empty TypeScript module.	2017-08-29 15:48:34 -04:00
Rob Rix	96db2e443c	🔥 the empty Python module.	2017-08-29 15:48:24 -04:00
Rick Winfrey	eb1a09cdde	Merge branch 'master' into go-assignment	2017-08-28 15:16:55 -07:00
joshvera	4f5f912d9e	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-08-28 12:48:36 -04:00
Rob Rix	b318e31b2b	Stub in a Semantic.Util module.	2017-08-25 12:22:22 -04:00
Rob Rix	e75c99772c	Stub in a module for generic lifted pretty-printing.	2017-08-23 11:41:14 -04:00
Rick Winfrey	aef3743cf9	Add Language.Go.Grammar.hs	2017-08-22 14:48:30 -07:00
Rob Rix	e44f43e689	🔥 Data.Functor.Classes.Pretty.Orphans.	2017-08-22 14:27:56 -04:00
Rob Rix	c2e6438bf5	Stub in a module for orphan instances of Pretty, Pretty1, etc.	2017-08-22 13:40:00 -04:00
Rob Rix	e496a41680	Link prettyprinter.	2017-08-22 12:44:27 -04:00
joshvera	7dce32307d	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-08-15 12:54:51 -04:00
Rob Rix	6ddfcc3b98	Rename the typescript package.	2017-08-11 08:07:03 -04:00
Rob Rix	c5b6c0a054	Rename the ruby package.	2017-08-11 08:06:37 -04:00
Rob Rix	10c653bd95	Rename the python package.	2017-08-11 08:06:08 -04:00
Rob Rix	7f6fed1e4e	Rename the json package.	2017-08-11 08:03:55 -04:00
Rob Rix	2588f04015	Rename the go package.	2017-08-11 08:03:27 -04:00
joshvera	bdc5078866	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-08-10 18:35:05 -04:00
Rob Rix	cf1cee66b9	Merge branch 'master' into ghc-8.2.1	2017-08-09 09:52:39 -04:00
joshvera	5f1925cc3d	Include TypeScript.Grammar in cabal file	2017-08-08 11:19:42 -04:00
Rob Rix	add1d471c9	Stub in a module for Errors.	2017-08-06 18:56:01 -04:00
Rob Rix	c874c3ac58	Depend on the parsers package.	2017-08-06 18:53:35 -04:00
Rob Rix	302bef15ee	🔥 Data.Amb.	2017-08-06 18:53:29 -04:00
Rob Rix	48e7737268	Merge branch 'master' into ghc-8.2.1	2017-08-04 12:36:15 -04:00
Rob Rix	69892a8dc9	Stub in a module for ambiguous data.	2017-08-03 16:58:23 -04:00
Rob Rix	2529288f87	Merge branch 'master' into requiem-for-a-protolude	2017-08-03 11:51:09 -04:00
Yuki Izumi	bcf6b5b45e	Use cmark-gfm package	2017-08-03 17:22:40 +10:00
Timothy Clem	fa3523d020	Merge branch 'master' into exit-status	2017-07-31 12:45:41 -07:00
Timothy Clem	1ed5d718f6	Merge branch 'master' into exit-status	2017-07-31 11:00:01 -07:00
Timothy Clem	87b2662b02	Log process ID	2017-07-31 08:56:17 -07:00
Rob Rix	e53adbd247	Merge branch 'master' into output-typeclass	2017-07-31 11:05:04 -04:00
Rob Rix	987bfa2af0	🔥 the test component’s dependency on protolude.	2017-07-31 09:31:38 -04:00
Rob Rix	5ff3ea09cc	Don’t depend on protolude.	2017-07-31 09:30:06 -04:00
Timothy Clem	4ecbf51763	Extract Semantic.Log	2017-07-28 17:07:48 -07:00
Rick Winfrey	aaa8713b96	🔥 FDocs	2017-07-28 16:12:20 -07:00
Rob Rix	06ed68786f	Merge branch 'requiem-for-a-protolude' into ghc-8.2.1	2017-07-28 14:42:07 -04:00
Rob Rix	7da8799e08	🔥 Prologue & protolude.	2017-07-28 14:37:02 -04:00
Rob Rix	aa3b450e0e	Remove the FDocs.	2017-07-28 14:02:14 -04:00
Rob Rix	acb35a5869	Stub in a module for an output typeclass.	2017-07-28 11:11:30 -04:00
Rob Rix	232b345fda	Merge branch 'master' into ghc-8.2.1	2017-07-28 10:17:29 -04:00
Rob Rix	cb40e74bdc	🔥 the C package.	2017-07-27 17:14:54 -04:00
Rob Rix	0978826498	🔥 C term assignment.	2017-07-27 17:14:40 -04:00