first commit: publicize my solutions on the exercises
Initial commit
fitting repo on github
Merge remote-tracking branch 'origin/master'
update readme and code
format links in readme doc.
update, solutions for chapter: list
finished the "lists" chapter.
working on polymorphic type chapter
finished polymorphism chapter.
doing more coq
working on morecoq :)
new progress.
continue working on the exercises
finished exercises in "more about coq" chapter
added my proofgeneral configuration for emacs
working on Logic section
still working on proving the equivalence of logic axioms
still working on logic chapter
finished exercises in Logic chapter