https://github.com/sgraf812/sll19

Slides for my talk about selective lambda lifting
https://github.com/sgraf812/sll19

Last synced: 5 days ago
JSON representation

Slides for my talk about selective lambda lifting

• Host: GitHub
• URL: https://github.com/sgraf812/sll19
• Owner: sgraf812
• License: mit
• Created: 2019-06-24T08:48:24.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-06-24T14:07:11.000Z (over 5 years ago)
• Last Synced: 2024-11-18T15:13:16.023Z (2 months ago)
• Language: TeX
• Size: 1.08 MB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Selective Lambda Lifting

Slides for my Selective Lambda Lifting transformation

To (re-)compile, make sure you have `latexmk` and the `metropolis` beamer package installed, then do

```

$ latexmk slides.tex

```