fix: Separate typed instance for each PocomathInstance #15

Merged
glen merged 3 commits from no_complex_base into main 2022-07-22 20:49:14 +00:00
Owner

Also starts each PocomathInstance with no types at all, and uses the new
situation to eliminate the need for a Complex "base case".

Resolves #14.
Resolves #13.

Also starts each PocomathInstance with no types at all, and uses the new situation to eliminate the need for a Complex "base case". Resolves #14. Resolves #13.
glen added 3 commits 2022-07-22 20:49:01 +00:00
glen merged commit 0069597a76 into main 2022-07-22 20:49:14 +00:00
Sign in to join this conversation.
No description provided.