https://github.com/brandonhowe/aoc-2020-idris
Advent of Code 2020
https://github.com/brandonhowe/aoc-2020-idris
Last synced: 4 months ago
JSON representation
Advent of Code 2020
- Host: GitHub
- URL: https://github.com/brandonhowe/aoc-2020-idris
- Owner: BrandonHowe
- Created: 2020-12-01T12:08:14.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2020-12-10T14:48:50.000Z (over 5 years ago)
- Last Synced: 2025-05-26T23:11:28.990Z (about 1 year ago)
- Language: Idris
- Size: 39.1 KB
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# AoC 2020 Idris
## What is this?
This is my repository for solving [Advent of Code 2020](https://adventofcode.com/2020/) in Idris.
## Why is x day not on here?
I probably didn't solve it yet. I just started learning Idris a few days before the event, so I might not have been able to solve all the puzzles. If you want the rest of the days, I am solving all the puzzles [here in TypeScript.](https://github.com/xWafl/aoc-2020-ts)
## Why are there a bunch of folders with 1 thing in them?
They actually have more on my end, I just gitignored most stuff out. This includes my puzzle input, compiled files, and emacs files.
## How do I run this?
Put your input into `input.txt`, in the same directory as the solution you want. Make sure not to leave a newline at the end.