If anyone want to help out an #Idris project with some relatively small tasks, I finally took the time to organize my thoughts into some relatively stand-alone issues for my current library project: https://gitlab.com/bss03/type-aligned/-/issues

Might be a good chance to practice reading and writing Idris if it's something you want to learn.

Also, I welcome any feedback from bike-shedding to foundation redesign. I might not apply it, but I will not consider it personal criticism.