GitHub repository: rightfold/purescript-substructural
Primary language: PureScript
Description: Substructural types in PureScript.