TypeCtx as generalization of TypeScope, better @theorymap parsing#110

Merged

olynch merged 7 commits intoscope-level-aliasfrom fix_argcontext

Sep 26, 2023

+485-272

Commits on Sep 22, 2023

TypeCtx, argcontext is ScopeList, idents vs getidents,
Kris Brown
committed
more tests
Kris Brown
committed
switch to ordereddicts
Kris Brown
committed
more robust theorymap parsing. avoid ambiguity of parsing constants
Kris Brown
committed
more coverage
Kris Brown
committed
missing paren
Kris Brown
committed

Commits on Sep 26, 2023

refactor gatmorphisms
Kris Brown
committed