search

imdea-software / fcsl-pcm

Partial Commutative Monoids
Apache License 2.0
25 stars 12 forks source link

Reorganize seqint.v #36

Closed clayrat closed 1 year ago

clayrat commented 1 year ago

Current version has been growing "organically" as a part of pcm/natmap.v, it could use some tidying up.

clayrat commented 1 year ago

Done in https://github.com/imdea-software/fcsl-pcm/pull/39