Code

Model Migration#112

Code

Merged

olynch merged 2 commits intomainAlgebraicJulia/GATlab.jl:mainfrom module_for_theorymapAlgebraicJulia/GATlab.jl:module_for_theorymapCopy head branch name to clipboardSep 27, 2023

+336-57

Commits

Commits on Sep 27, 2023

• aliases are now scope-level, not binding-level

  

  olynch

  authored and

  Kris Brown

  committed
  e81941b

• TypeCtx, argcontext is ScopeList, idents vs getidents,

  Show description for 0075a98
  

  Kris Brown

  committed
  0075a98