5 Commits

Author	SHA1	Message	Date
Quinn Dougherty	3bf571f953	CR comment	2022-04-13 12:06:50 -04:00
Quinn Dougherty	7e6a26a2d0	comments and type signatures	2022-04-13 11:54:37 -04:00
Quinn Dougherty	165427f137	refactored to a higher level of abstraction	2022-04-13 10:30:23 -04:00
Quinn Dougherty	de81928ea9	Ran yarn format	2022-04-13 01:05:09 -04:00
Quinn Dougherty	72b557d64a	renamed Algebra subdir to Invariants	2022-04-13 01:05:09 -04:00