autoPCM + latest additions - Githubissues

imdea-software / fcsl-pcm

Partial Commutative Monoids

Apache License 2.0

25 stars 12 forks source link

autoPCM + latest additions #33

Closed clayrat closed 2 years ago

clayrat commented 2 years ago

add autopcm (pullX automation)
factor out common automation infrastructure
finite PCM products
PCM instance for option
major refactoring of the natmap theory
additions to the unionmap theory
various additions to prelude, speed up andP reflections