Code

Roe cleanup#161

Code

Open

quffaro wants to merge 5 commits intocompute-graphAlgebraicJulia/GATlab.jl:compute-graphfrom roe_cleanupAlgebraicJulia/GATlab.jl:roe_cleanupCopy head branch name to clipboard

+1,799-761

Commits

Commits on Jul 23, 2024

• first pass at organizing code

  quffaro

  committed
  aa6b2f9

• submitting for cleanup

  quffaro

  committed
  f15f27b

Commits on Aug 1, 2024

• completing code review

  quffaro

  committed
  94ef1ce

• begun rewriting work

  quffaro

  committed
  8358b74

Commits on Aug 2, 2024

• prototype of typed rewriting for theories and continued with little progress on docs

  quffaro

  committed
  175a9e6