search

imdea-software / fcsl-pcm

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

merge latest changes #31

Closed clayrat closed 2 years ago

clayrat commented 2 years ago

Superseded by #33