updates after lecture 1

.gitignore

README.md

info/grading.md

info/labs/amy-specification/Factorial.scala

info/labs/amy-specification/Hello1.scala

info/labs/amy-specification/Hello2.scala

info/labs/amy-specification/List1.scala

info/labs/amy-specification/List2.scala

info/labs/amy-specification/List3.scala

info/labs/amy-specification/List4.scala

info/labs/amy-specification/amy-specification.pdf

info/labs/amy-specification/amy-specification.tex

info/labs/amy-specification/compile.sh

info/labs/amy-specification/defs.sty

info/labs/amy-specification/formal.tex

info/labs/amy-specification/informal.tex

info/labs/amy-specification/introduction.tex

info/labs/amy-specification/library.tex

info/labs/amy-specification/moretypes.tex

info/labs/amy-specification/scalalistings.tex