Open mizlan opened 6 months ago
Thanks for the issue.
I can open a PR for this if you'd like.
That would be great. Alternatively, if you're working on the lemmafinder project with Todd I can just give you push access so you can make the changes directly.
Happy to see another FP enthusiast at ucla :)
Sure! I'm working on lemmafinder but only getting familiar right now; I just had documented this in my process of installing lemmafinder.
If I get push access, I may address this at a later point.
Added you as a collaborator.
A number of deprecation warnings.
I can open a PR for this if you'd like. The
opam var
issue is trickier but I think supporting 2.1 makes more sense than 2.0. Opam 2.1 was released in mid-2021, which is over 2 years ago.