Notes on rank-2 types - Why you need them and why you don't want them

By Johan Lodin, presented 2017-11-29 at Got.λ.

The template and makefile is adapted from https://github.com/ocramz/talks/tree/master/GotLambda_26112017, with slight modifications.

Building the slide deck

The slide template is based on Reveal.js, and uses Highlight.js for syntax highlighting.

Running

make

in this directory will run pandoc on slides.md, which in populates the template-revealjs.html template file and produces slides.md.

All the dependencies are local, so make sure to copy the css/, lib/, js/ and highlight/ directories.

Distributed under CC BY-NC-SA 4.0.

Rank-2 Types - Why You Need Them and Why You Don't Want Them

Language:CSS 47.8%Language:JavaScript 32.1%Language:SCSS 14.4%Language:HTML 5.7%Language:Makefile 0.0%