Idris/advent
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity
Completing every advent of code problem in Idris 2 for fun and profit
12 commits 3 branches 0 tags 1.2 MiB
Raku 100%
Find a file
Nathan McCarty c873b7282e Year 2015 Day 4 Part 1
2025-01-07 09:34:59 -05:00
src Year 2015 Day 4 Part 1 2025-01-07 09:34:59 -05:00
.gitignore Year 2015 Day 4 Part 1 2025-01-07 09:34:59 -05:00
advent.ipkg Year 2015 Day 4 Part 1 2025-01-07 09:34:59 -05:00
pack.toml Initial commit 2025-01-04 09:48:10 -05:00
README.md Year 2015 Day 4 Part 1 2025-01-07 09:34:59 -05:00

README.md

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

    Provides data structures for structuring the division of the project into years, days, and parts.

  • Util

    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

      Extend the functionality of the effects included in the eff library

Index of years and days