/quantification

Data types and type classes for universally and existentially quantified types

Primary LanguageHaskell

This repository is not active