.ghci 2018/.ghci

reviewed

+1

2021/.gitignore

reviewed

··· 1 1 + /build

+2

2021/AoC.lean

reviewed

··· 1 1 + def main : IO Unit := 2 2 + IO.println "Hello, world!"

+3

2021/leanpkg.toml

reviewed

··· 1 1 + [package] 2 2 + name = "AoC" 3 3 + version = "0.1"

AoC.cabal 2018/AoC.cabal

reviewed

AoC.nix 2018/AoC.nix

reviewed

Setup.hs 2018/Setup.hs

reviewed

data/input-d1-p1 2018/data/input-d1-p1

reviewed

data/input-d2-p1 2018/data/input-d2-p1

reviewed

data/input-d3-p1 2018/data/input-d3-p1

reviewed

data/input-d4-p1 2018/data/input-d4-p1

reviewed

default.nix 2018/default.nix

reviewed

shell.nix 2018/shell.nix

reviewed

src/AoC.hs 2018/src/AoC.hs

reviewed

src/AoC/Util/Parser.hs 2018/src/AoC/Util/Parser.hs

reviewed

src/AoC/Util/Util.hs 2018/src/AoC/Util/Util.hs

reviewed

src/AoC/Y2018/Day1.hs 2018/src/AoC/Y2018/Day1.hs

reviewed

src/AoC/Y2018/Day2.hs 2018/src/AoC/Y2018/Day2.hs

reviewed

src/AoC/Y2018/Day3.hs 2018/src/AoC/Y2018/Day3.hs

reviewed

src/AoC/Y2018/Day4.hs 2018/src/AoC/Y2018/Day4.hs

reviewed