search

statebox / cql

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

remove useless constraints #122

Open marcosh opened 5 years ago

marcosh commented 5 years ago

remove type constraints which are not used and add a compiler check for unused constraints