search

JamesGallicchio / LeanColls

WIP collections library for Lean 4
https://jamesgallicchio.github.io/LeanColls/docs/
Apache License 2.0
30 stars 7 forks source link

universe fix in `Fold` #18

Closed lecopivo closed 8 months ago

lecopivo commented 8 months ago

Attempt at fixing the universe issue in Fold. It is not pretty and I'm not expecting you to merge this PR. It is here just to document what needs to change.

lecopivo commented 8 months ago

Closing as #21 is much better solution