readme.md

This repo contains my solutions to problems in the book "software Foundations". Book can be found here: https://softwarefoundations.cis.upenn.edu/