34256 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	253f0e9b52	Add labelled edges instead of adding edges to attributes.	2021-12-15 13:59:14 -05:00
Rob Rix	cd2b0b7d59	Define a small interpreter for Syntax.	2021-12-14 14:53:39 -05:00
Rob Rix	abeb3ae084	Define a small library of combinators over Print.	2021-12-14 14:50:53 -05:00
Rob Rix	397995e8a1	Define a Show instance for Print.	2021-12-14 14:46:59 -05:00
Rob Rix	9642b12730	Define a Monoid instance for Print.	2021-12-14 14:46:31 -05:00
Rob Rix	771c3dcd4b	Define a Semigroup instance for Print.	2021-12-14 14:46:09 -05:00
Rob Rix	ee7135c5a7	Define a pretty-printing interpreter.	2021-12-14 14:45:37 -05:00
Rob Rix	756a3b48e0	Define a tree-sitter-graph file for Python interpretation.	2021-12-14 14:37:59 -05:00
Rob Rix	3b89756033	Stub in an interface for syntax.	2021-12-14 14:37:29 -05:00
Rob Rix	9c9a9a4007	Define a module for syntax.	2021-12-14 14:36:29 -05:00
Rob Rix	e4281d57f7	Merge pull request #659 from github/abstract-normalization-by-abstract-evaluation ... Parametric modular interpretation	2021-08-24 11:42:40 -04:00
Rob Rix	26655c219b	Merge branch 'master' into abstract-normalization-by-abstract-evaluation	2021-08-24 10:52:58 -04:00
Rob Rix	b5b39bdc2f	📝 Neutral.	2021-08-24 09:47:03 -04:00
Patrick Thomson	e9e1f01025	Merge pull request #657 from ahelwer/patch-1 ... External scanners: used for CSGs, not CFGs	2021-08-24 09:07:30 -04:00
Rob Rix	3cd8945a2b	This component no longer exists.	2021-08-19 17:10:21 -04:00
Rob Rix	68f823ea43	Fix the CLI spec.	2021-08-19 15:50:12 -04:00
Rob Rix	7696adfc97	Fix a spec.	2021-08-19 15:46:45 -04:00
Rob Rix	55c349bc0f	HIde an import.	2021-08-19 13:47:07 -04:00
Rob Rix	841c17969f	Exclude Language.Python.Failure.	2021-08-19 13:46:26 -04:00
Rob Rix	db9e97debf	Ba-bump.	2021-08-19 12:51:03 -04:00
Rob Rix	39e643d373	Prune some deps.	2021-08-19 12:42:44 -04:00
Rob Rix	6be2ff0138	🔥 fused-syntax ✨	2021-08-19 09:51:40 -04:00
Rob Rix	81c778bbaf	Update for References.	2021-08-19 09:48:42 -04:00
Rob Rix	777357dbfb	Don’t use fused-syntax in semantic-python.	2021-08-19 09:46:18 -04:00
Rob Rix	e1dade3a2f	Migrate core over to the new analysis effects &c.	2021-08-19 09:24:06 -04:00
Rob Rix	3da958d6a9	Define a simple lambda calculus.	2021-08-19 09:14:31 -04:00
Rob Rix	f8aadac4a4	Add an expr module.	2021-08-19 09:13:36 -04:00
Rob Rix	e9e372d7b9	Generalize dif to return any type.	2021-08-05 13:53:06 -04:00
Rob Rix	bdfd7e1036	🔥 the heap effect.	2021-08-05 13:20:14 -04:00
Rob Rix	8e0b773b7b	Migrate the dstring constructor to Text.	2021-08-05 13:19:40 -04:00
Rob Rix	4a8573edd2	Fix the API bridge.	2021-07-29 15:30:02 -04:00
Rob Rix	6118b0565d	Switch over to the labelled Store effect &c.	2021-07-28 17:02:48 -04:00
Rob Rix	79e34ea1e7	Give fixity & precedence for .=.	2021-07-28 14:54:12 -04:00
Rob Rix	3062b20aae	Bring over the Store effect.	2021-07-28 14:53:36 -04:00
Rob Rix	d1d349ec16	Define a module for a Store effect.	2021-07-28 14:51:54 -04:00
Rob Rix	4115251fff	File holds a Reference.	2021-07-28 14:47:38 -04:00
Rob Rix	2422a57215	Rename the WithLoc module.	2021-07-28 14:38:05 -04:00
Rob Rix	27b2b86f1e	Move Reference into its own module.	2021-07-28 14:36:21 -04:00
Rob Rix	306239fb88	Define a module for Reference.	2021-07-28 14:31:45 -04:00
Rob Rix	dd7319dcc9	Pass references around.	2021-07-28 14:30:19 -04:00
Rob Rix	0826ca4b40	Typo.	2021-07-28 14:30:05 -04:00
Rob Rix	c4e379bba5	Migrate semantic-analysis towards modular, parametric analysis.	2021-07-28 14:26:06 -04:00
Rob Rix	d1c183e49f	Add some FIXMEs.	2021-07-28 14:05:51 -04:00
Rob Rix	a92be3593e	Derive some instances for Reference.	2021-07-28 14:02:42 -04:00
Rob Rix	14ceed91e6	Return a Reference with failures.	2021-07-28 14:02:06 -04:00
Rob Rix	053b62ffba	Define a reference datatype.	2021-07-28 13:57:50 -04:00
Rob Rix	9a13a80fd7	Define conversions between indices and levels.	2021-07-28 13:05:50 -04:00
Rob Rix	14864b6c16	Define De Bruijn indices.	2021-07-28 13:04:29 -04:00
Rob Rix	38ba7d8f36	Define De Bruijn levels.	2021-07-28 13:04:01 -04:00
Andrew Helwer	7d84329b78	External scanners: used for CSGs, not CFGs ... I believe this was a typo?	2021-06-25 19:53:30 -04:00