sftypes/software-foundations — pull request #3 by winitzki (2014-05-08 20:01:44+00:00)
Title: adding Lists.v

My solutions for the Lists.v chapter