bandali0 / cucsc-2017

Slides and Poster for my talk @ CUCSC 2017

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

The Magic of Specifications and Type Systems

This repository contains the source code of the poster and slides of my presentation for CUCSC 2017, the Canadian Undergraduate Computer Science Conference.

Poster preview

Use latexmk -pdf poster.tex to generate the PDF. Or alternatively, use latexmk -pdf -pvc cv.tex to preview and automatically re-compile when saving changes.

Slides preview

Before compiling the slides make sure you have the Lato font installed.

Use latexmk -xelatex slides.tex to generate the PDF. Or alternatively, use latexmk -xelatex -pvc slides.tex to preview and automatically re-compile when saving changes.

License

The source code for both the poster and slides are licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

About

Slides and Poster for my talk @ CUCSC 2017


Languages

Language:TeX 100.0%