A talk on what type parameterization is, how it can be implemented, and what the tradeoffs are.
Koz Ross
bd380084e8
Fixing makefile, removing typos
|
7 lat temu | |
|---|---|---|
| .gitignore | 7 lat temu | |
| GNUmakefile | 7 lat temu | |
| LICENSE | 7 lat temu | |
| README.md | 7 lat temu | |
| logo.svg | 7 lat temu | |
| no.svg | 7 lat temu | |
| question.svg | 7 lat temu | |
| talk.tex | 7 lat temu | |
| yes.svg | 7 lat temu |
README.md
Type parameterization
This is a talk delivered to the AUT Computer Science Club on May 4th, 2017. This contains the sources for the talk slides.
How to build
You will need:
- A LaTeX distro (I recommend Texlive)
- GNU Make
- Inkscape (to convert SVG into EPS)
- The DejaVu font family (to render the text)
- The Liberation font family (to render the logo properly)
If you wanna use the make edit or make view commands, you will also need
Neovim and Okular respectively, but in practice, you can use whatever editor or
PDF viewer you feel like.
To build a PDF version, just call make (or gmake on some systems).
Licensing
All the sources are licensed CC-BY-SA-4.0. See LICENSE for more details.