-
Notifications
You must be signed in to change notification settings - Fork 297
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Roadmap for finmap
#738
Comments
@spl: do you plan on splitting |
@cipher1024 In the future, can you please fill in a description for an issue that you create and assign it to me? Are you asking me to define a roadmap of my plans for (Aside: I haven't seen roadmaps provided for any other aspects of mathlib, so it makes me wonder why
I believe you are referring to #662 (comment). I don't plan to do something like that in the immediate timeframe. (Also, I still don't know the best way to do that at the moment, and I haven't looked into it.) My first priority is to bring After that, I don't have concrete plans for |
Actually, I don't see it as additional homework. It was a way for me to open up a conversation about finmap and having a peek at your thinking. On one hand, if you need help with something, on another hand what features you considered and haven't considered. I'm getting started on graph algorithms and their are specific things I'm going to need from finmap. I'd like to coordinate. |
I will. I apologize for the oversight. |
@cipher1024 And I'm happy to coordinate. It's just a bit difficult to deduce what you're going for without the above context. 😉 I don't need help at the moment. The next things I'll port over are What do you need from |
No description provided.
The text was updated successfully, but these errors were encountered: