The goal of this project is to get all 500 currently available stars in the form of one single idris application, and thoroughly document the results as literate idris files.
# Index of non-day modules
- [Runner](src/Runner.md)
Provides data structures for structuring the division of the project into years, days, and parts.
- [Util](src/Util.md)
Provides extensions of the functionality of the standard library and external libraries. Extensions to the standard library are in the base of this module.
- [Util.Eff](src/Util/Eff.md)
Extend the functionality of the effects included in the [eff](https://github.com/stefan-hoeck/idris2-eff/) library
