Idris/advent
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

doc: Initial readme

Browse source
This commit is contained in:
Nathan McCarty 2025-01-06 08:57:49 -05:00
parent 94bbe93db9
commit 5b91c3815c
1 changed files with 22 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
README.md Normal file
View file

@ -0,0 +1,22 @@
# Advent
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
# Index of years and days
- 2015
- [Day 1](src/Years/Y2015/Day1.md)
- [Day 2](src/Years/Y2015/Day2.md)