search

imdea-software / fcsl-pcm

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

CoInductive keyword should be replaced with Variant #11

Closed anton-trunov closed 4 years ago