add extensional definitional simplification of collages

statebox / cql

CQL: Categorical Query Language implementation in Haskell

GNU Affero General Public License v3.0

162 stars 14 forks source link

add extensional definitional simplification of collages #59

Open wisnesky opened 5 years ago

wisnesky commented 5 years ago

I added inlining for generators and labelled nulls, but not function symbols proper, which require more machinery. The current sweet spot is helpful for certain examples.