GitHub repository: viercc/coercible-subtypes
Primary language: Haskell
Created: 2020-04-03T13:46:38Z
Description: An experimental libray for non-symmetric safe coercion