https://github.com/jkachmar/levity-polymorphism-berlinfp-2020

https://github.com/jkachmar/levity-polymorphism-berlinfp-2020

Last synced: 13 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/jkachmar/levity-polymorphism-berlinfp-2020
• Owner: jkachmar
• Created: 2020-06-23T02:30:53.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2021-04-23T02:08:37.000Z (over 3 years ago)
• Last Synced: 2024-11-07T04:49:36.390Z (2 months ago)
• Language: Nix
• Size: 325 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Levity Polymorphism

## ...and other things that aren't discussed very often

# Presentation

A big thanks to [Steven Syrek](https://github.com/sjsyrek) for not only

organizing this presentation, as well as many more, and publishing them on

YouTube!

[![Levity Polymorphism Recording](./presentation_screenshot.png)](https://www.youtube.com/watch?v=Ip51xutCDPo)

# Quickstart

A compiled copy of these slides can be found [here](./slides.pdf).

## Building with Nix

All of the dependencies required to build this project are provided in the

[shell.nix](./shell.nix) file; additionally, the included [.envrc](./.envrc)

can be used alongside [`lorri`](https://github.com/target/lorri/) to make the

loading/unloading of the `nix-shell` seamless.

1. Clone this repository to some directory and `cd` into it

2. Run `nix-shell --command 'make slides'`

  * This will likely take some time on the first run, as it may have to

  download LaTeX, `pandoc`, and other dependencies

That's it! The local `slides.pdf` file should now be updated with the latest

artifact.