5 Commits

Author	SHA1	Message	Date
Matthew Brown	717d588683	Fix a test thing	2020-03-29 19:51:13 -04:00
Matthew Brown	1b88316c51	Convert method from recursive to inline	2020-03-29 19:42:22 -04:00
Matthew Brown	02fbf12337	Only warn about clauses in the currently-scanned conditional	2019-12-08 16:35:56 -05:00
Brown	0bcb7863f3	Use better system for storing inferred types and assertions	2019-11-25 11:44:54 -05:00
Brown	28fbafa207	Break out tests for algebra	2019-07-15 16:08:38 -04:00