Skip to content

silky/linear-types-talk-jan-2021

Repository files navigation

linear-types-talk-jan-2021

Talk given at the Cambridge NonDysFunctional Programmers Meetup.

Usage

Using stack, things "should just work":

stack build

I added the script ./build to hide the verbose warnings related to some strange issue in stack itself.

Talk

You can find the slides for the talk here: ./slides/talk.md.

In order to run them, you could use patat, However, if you're on linux and using konsole (like me) you'll need to use my hacked version of patat so that the image of SPJ clears when you switch slides.

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published