There is also this board to monitor the progress <...

# arrow-contributors

[raulraja]

There is also this board to monitor the progress https://github.com/arrow-kt/Category-Theory-for-Programmers.kt/projects/1