Sign inSign up

tweag/linear-types

By tweag

•Updated about 7 years ago

Images of the GHC+linear-types branch

Image
2

4.8K

tweag/linear-types repository overview

⁠Linear types in GHC

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

Tag summary

Content type

Image

Digest

Size

683.4 MB

Last updated

about 7 years ago

docker pull tweag/linear-types