JoeyEremondi / aoc-2020-idris Public

Notifications You must be signed in to change notification settings
Fork 1
Star 17

My Idris2 solutions/attempts for Advent of Code 2020

BSD-3-Clause license

17 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
.gitignore		.gitignore
Day1a.idr		Day1a.idr
Day1b.idr		Day1b.idr
Day2a.org		Day2a.org
Day3a.idr		Day3a.idr
Day4a.org		Day4a.org
LICENSE		LICENSE
README.md		README.md

Repository files navigation

aoc-2020-idris

My Idris2 solutions/attempts for Advent of Code 2020

About

My Idris2 solutions/attempts for Advent of Code 2020

BSD-3-Clause license

Report repository

Releases

No releases published

Packages

No packages published

Languages

Idris 100.0%