Drafts, notes and resources for adding linear typing to GHC.
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Examples
ICFP2017
MeetingNotes
POPL2018
PaperTools @ d98d9e4
Proposals
Slides
Tests
benchmarks
bin
deps
fonts
.gitignore
.gitmodules
.jenkins_script.sh
.travis.yml
Dockerfile
HaskeLL.lhs
Makefile
Motivation.org
Notes.org
README.md
ROADMAP.md
applications.lhs
intro.lhs
lionear.lhs
local.bib
mathpartir.sty
minicore.lhs
shell.nix
slides.org
why.lhs

README.md

Linear types in GHC

Drafts, notes and resources for adding linear typing to GHC.