one repo for all learning tasks... why I didn't do it earlier?
Primary LanguageIdris
No issues in this repository yet.