4 Commits

Author	SHA1	Message	Date
Quinn Dougherty	9cdffc309b	functions reference is almost done	2022-04-20 12:09:57 -04:00
Quinn Dougherty	76a0f254ea	removed pull request trigger from codeql analysis	2022-04-20 11:55:56 -04:00
Quinn Dougherty	6ffe2d4f34	cleaned up README and ran yarn format	2022-04-13 14:57:01 -04:00
Quinn Dougherty	b0cf8adb9f	migrated invariants.md to docusaurus	2022-04-13 14:46:01 -04:00