Add latex sources

labs/amy-specification/Factorial.scala

labs/amy-specification/Hello1.scala

labs/amy-specification/Hello2.scala

labs/amy-specification/List1.scala

labs/amy-specification/List2.scala

labs/amy-specification/List3.scala

labs/amy-specification/List4.scala

labs/amy-specification/compile.sh

labs/amy-specification/defs.sty

labs/amy-specification/formal.tex

labs/amy-specification/informal.tex

labs/amy-specification/introduction.tex

labs/amy-specification/library.tex

labs/amy-specification/main.aux

labs/amy-specification/main.log

labs/amy-specification/main.out

labs/amy-specification/main.pdf

labs/amy-specification/main.tex

labs/amy-specification/moretypes.tex

labs/amy-specification/scalalistings.tex