search

imdea-software / fcsl-pcm

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

MathComp 2.0 support #41

Open palmskog opened 11 months ago

palmskog commented 11 months ago

Are there any plans for to support MathComp 2.0? It would be nice to port Disel to MathComp 2.0, but then I need both FCSL PCM and HTT to have releases compatible with 2.0.0 or later. See porting guide.

aleksnanevski commented 11 months ago

Yes, I would clearly have to do that. Will get on to it this coming week. Let's see how long it takes.