tweag/linear-types

•Updated over 7 years ago

Images of the GHC+linear-types branch

Image

4.9K

tweag/linear-types repository overview

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

Recent tags

Content type

Image

Digest

Size

683.4 MB

Last updated

over 7 years ago

docker pull tweag/linear-types