#

linear-types

Here are 2 public repositories matching this topic...

clayrat / idris-linear

Experiments with linear types

linear-types

Updated Feb 23, 2018
Idris

vmchale / linear

Linear lenses in Blodwen

idris lenses lens profunctors profunctor linear-types profunctor-optics blodwen

Updated Feb 9, 2019
Idris

Improve this page

Add a description, image, and links to the linear-types topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the linear-types topic, visit your repo's landing page and select "manage topics."