presentation ready to use Agda code, now we can make our Agda files into literate Agda and use both for report AND presentations
just using normal latex, markdown was not worth the trouble