Commit 2021-05-10 07:26 31c2297d

View on Github →

feat(Tactic/Basic): add variables command It works, but also yells at you

Estimated changes

added def elabVariables