dont need crush
break things up into multiple files and add a Makefile
implement copy
only need omega
add note about content
actually use a little markdown
some cleanup
more cleanup
got rid of one use of crush, cleaned up helper obligation solving
get rid of crush
fix dependencies and shorten obligations solving
remove crush in favor of intuition and omega

(still uses dep_destruct, tho)
remove last use of adam's book's tactics
remove the source code from Adam's book, something
that shouldn't have been in here in the first place.

Apologies, Adam!
fix Makefile
more Makefile fixes
move things around and add a monads file
a broken attempt to do a counting version of insert
Define the correct logarithm function.

Contains an informal proof that it works and a definition.

Also delete trailing whitespace.
Even half of complexity proof