Closed MarcSerraPeralta closed 5 days ago
Removes some typing imports that were missed in #70. Now grep -r "typing" returns "nothing" (except in the requirements, due to galois).
typing
grep -r "typing"
galois
Removes some
typingimports that were missed in #70. Nowgrep -r "typing"returns "nothing" (except in the requirements, due togalois).