search

statebox / cql

CQL: Categorical Query Language implementation in Haskell
GNU Affero General Public License v3.0
162 stars 14 forks source link

simplify type signatures #112

Closed marcosh closed 5 years ago

marcosh commented 5 years ago

using ConstraintKinds to simplify type signatures #96