45 Commits

Author	SHA1	Message	Date
Patrick Thomson	b3abb671f3	📝 Sketchbook.	2020-01-17 11:19:18 -05:00
Patrick Thomson	726dec2ea6	Update the copyright year.	2020-01-15 17:01:08 -05:00
Patrick Thomson	23431cffb0	Otiose forall and type constraint.	2020-01-15 16:54:27 -05:00
Patrick Thomson	b7c5989463	Give ToScopeGraph's module a more standard name.	2020-01-15 16:16:45 -05:00
Patrick Thomson	27f39c2fa1	:note: some declarations.	2020-01-15 16:15:12 -05:00
Patrick Thomson	d5bec1bf7a	No more orphan instances.	2020-01-15 15:00:01 -05:00
joshvera	5ea07633d2	Failing reference test	2020-01-14 18:08:10 -05:00
Patrick Thomson	65b0894eef	stylish pass	2020-01-14 15:36:07 -05:00
Patrick Thomson	489093e99d	this file wasn't anything	2020-01-14 15:32:47 -05:00
Patrick Thomson	760c52e04f	Clean up some instances	2020-01-14 15:28:04 -05:00
Patrick Thomson	ae4ca650e8	Persist todo entries.	2020-01-14 15:18:56 -05:00
Patrick Thomson	1a9c229dd5	no need for this	2020-01-14 15:14:46 -05:00
Patrick Thomson	90ca2c8b3f	it works!	2020-01-14 14:44:08 -05:00
Patrick Thomson	e9247ab8a8	Make declare actually do something… in theory.	2020-01-14 14:19:57 -05:00
Patrick Thomson	56145869a4	make semantic-python build	2020-01-14 11:48:39 -05:00
Patrick Thomson	ba8b5b05a9	Warnings	2020-01-14 11:44:05 -05:00
Patrick Thomson	353311e210	Remove old graph manipulation code	2020-01-14 11:43:28 -05:00
Patrick Thomson	8af6beeaa1	more reorgs and churn	2020-01-14 11:40:03 -05:00
Patrick Thomson	3b1f22c311	moving around Hole and Name	2020-01-14 11:18:58 -05:00
Patrick Thomson	8d3165c77d	start porting and renaming	2020-01-14 11:15:55 -05:00
Patrick Thomson	2e1fcedf26	Stylish.	2020-01-14 11:13:28 -05:00
Patrick Thomson	96a5bf11c6	start moving ScopeGraph to its own project	2020-01-14 11:13:00 -05:00
Patrick Thomson	f75980eb7f	write another nice little helper	2020-01-13 16:58:20 -05:00
Patrick Thomson	711d240a61	pull in some pattern synonyms	2020-01-13 14:40:17 -05:00
Patrick Thomson	3d9be6a5d2	stop relying on side effects	2020-01-13 14:40:17 -05:00
Patrick Thomson	c92a6f9a72	Make declare return the current scopegraph state.	2020-01-13 14:06:23 -05:00
Patrick Thomson	f1bdfcd86e	Move ToScopeGraph into its own module to break a cycle.	2020-01-13 14:05:31 -05:00
Patrick Thomson	92aa4bbd0b	even more instances	2020-01-13 12:36:42 -05:00
Patrick Thomson	cc37a0c460	even more instances, and build onChildren helper	2020-01-13 12:26:02 -05:00
Patrick Thomson	bb01a368fb	This reverts commit e7df755bb6.	2020-01-13 10:08:07 -05:00
Patrick Thomson	e7df755bb6	let's use pathtype.	2020-01-10 19:24:24 -05:00
Patrick Thomson	524fbba3ad	move the Sketch effect into semantic-scope-graph	2020-01-10 18:48:40 -05:00
Patrick Thomson	61f8f2e8ba	This is nicer with proper use of Monoid and Semigroup.	2020-01-10 18:31:38 -05:00
Patrick Thomson	f9aadbb895	Scope graphing DSL works.	2020-01-10 17:46:37 -05:00
Patrick Thomson	da58e5c69c	start creating sketch effect	2020-01-10 15:14:05 -05:00
Patrick Thomson	1906e7b1bb	build a DSL for constructing graphs	2020-01-10 12:22:13 -05:00
Patrick Thomson	7fc6d08bf6	Implement Graph.Class for ScopeGraph	2020-01-08 16:58:38 -05:00
joshvera	1a94c25d32	Print out a scope graph ... Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>	2020-01-08 13:25:43 -05:00
joshvera	2ec9dc5595	Replace Graph with unlabeled graph ... Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>	2020-01-08 13:02:53 -05:00
joshvera	3ec51a53f5	Simplify typeclasses ... Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>	2020-01-08 12:51:25 -05:00
joshvera	0c041b5fd8	Remove circular dependency ... Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>	2020-01-08 12:37:37 -05:00
joshvera	4ba5989776	Add a ToScopeGraph interface in semantic-python	2020-01-08 12:29:17 -05:00
Patrick Thomson	1eabf451e0	First haphazard attempt at doing scope graphing.	2020-01-07 13:10:58 -05:00
joshvera	eaeb5b6219	stub out a scope graph effect	2020-01-06 18:12:42 -05:00
joshvera	f5e919ed2b	stub in scopegraph project	2020-01-06 17:49:43 -05:00