Open raulraja opened 5 years ago
awesome thanks @devesh-shetty, let us know if you have any questions
Now, its yours @devesh-shetty. I hope my code can help you.
Thanks @i-walker, I'll finish it up
I believe 1.7 has been merged already?
Only partially @pakoito. We merged the code I had so far.
@devesh-shetty can you commit what you have so far?
@i-walker I've put out a PR, I believe that should wrap up the doc https://github.com/arrow-kt/Category-Theory-for-Programmers.kt/pull/50
@rachelcarmena If your scripts approve my translations. You can close this :)
Thanks @i-walker !! :tada: I'll continue next week. Taking the baton!!
Hi @i-walker!
Reviewed and fixed!
I've created #58 as a draft pull request.
There are 2 pending tasks that are explained there.
Passing the baton!!
Hey 👋 I can work on this over the next few weeks if there is no hard deadline!