beautified equation*.rkt
Finished q3?
Finished q3.
Beautified substitution-adt.rkt
Added .tags to .gitignore
Finished q4
Beautified solve.rkt
Finsihed q5
Finished q6