FunUniverse.Core: adder
Solver.Linear: fixity
sha1.agda