exam ideas/solutions, use exam as background!
Merge branch 'master' of github.com:wshadow/synthesis