Added the source files

a.hs, b.rest and c.tex