FunUniverse.Agda: fork/bijFork were broken
FunUniverse.Core: comments
FunUniverse: not was broken
temporary but correct full-adder
Solver.Linear.Parser: comment out the example (long to check)
Some unfinished experiment
add a (broken) adder