first commit to software foundations
Basic - before proof-by-simplification
basic coq - few more exercises to go
Basics - complete
annoying

It's really annoying to keep the full text
and make my exercise answers harder to find.
But other modules might import it,
So I have no choice.
Induction - just done double_plus
first working proof for mult_comm
before 'binary_commute'
exercise 3 - done
amb-eval - impl define
amb-eval - enumerate tests
amb-eval - test system pretty print
amb-eval - function definition works
amb-eval - set! is now working
amb-eval - amb is working
amb-eval - remove unused
amb-eval - driver-loop
amb-eval - driver loop - bug fix
amb-eval - improve info output
bug fix: "Onemore" causes confusion and wrong impl