GitHub repository: pa-ba/compdata-param
Primary language: Haskell
Description: Haskell library implementing parametric compositional data types.