advent_of_code_2020.git
3 years agoUpdate the style to match the be compatible with the last version of Pluto. main
Greg Burri [Wed, 7 Jul 2021 12:33:48 +0000 (14:33 +0200)]
Update the style to match the be compatible with the last version of Pluto.

3 years agoDay 10 part 1
Greg Burri [Thu, 17 Dec 2020 08:51:22 +0000 (09:51 +0100)]
Day 10 part 1

3 years agoDay[9] gh-pages
Greg Burri [Thu, 10 Dec 2020 06:51:52 +0000 (07:51 +0100)]
Day[9]

3 years agoFix the function reading lines for day 1.
Greg Burri [Wed, 9 Dec 2020 13:07:43 +0000 (14:07 +0100)]
Fix the function reading lines for day 1.

3 years agoAdd a link to the HTML render.
Greg Burri [Wed, 9 Dec 2020 13:00:34 +0000 (14:00 +0100)]
Add a link to the HTML render.

3 years agoAdd an HTML export
Greg Burri [Wed, 9 Dec 2020 12:49:26 +0000 (13:49 +0100)]
Add an HTML export

3 years agoDay 8
Greg Burri [Wed, 9 Dec 2020 12:35:32 +0000 (13:35 +0100)]
Day 8

3 years agoDay 7
Greg Burri [Wed, 9 Dec 2020 08:41:56 +0000 (09:41 +0100)]
Day 7

3 years agoDay 6
Greg Burri [Mon, 7 Dec 2020 10:02:09 +0000 (11:02 +0100)]
Day 6

3 years agoDay 5
Greg Burri [Mon, 7 Dec 2020 08:59:39 +0000 (09:59 +0100)]
Day 5

3 years agoDay 4
Greg Burri [Fri, 4 Dec 2020 08:29:18 +0000 (09:29 +0100)]
Day 4

3 years agoUpdate readme.
Greg Burri [Thu, 3 Dec 2020 12:28:36 +0000 (13:28 +0100)]
Update readme.

3 years agoUpdate readme.
Greg Burri [Thu, 3 Dec 2020 12:26:53 +0000 (13:26 +0100)]
Update readme.

3 years agoUse of do block with foldl.
Greg Burri [Thu, 3 Dec 2020 11:32:07 +0000 (12:32 +0100)]
Use of do block with foldl.

3 years agoDay 3
Greg Burri [Thu, 3 Dec 2020 08:31:37 +0000 (09:31 +0100)]
Day 3

3 years agoRename 'main.jl' + some code clean up.
Greg Burri [Wed, 2 Dec 2020 12:56:51 +0000 (13:56 +0100)]
Rename 'main.jl' + some code clean up.

3 years agoSimplify a bit the sum (to sum boolean with integer is possible)
Greg Burri [Wed, 2 Dec 2020 09:04:01 +0000 (10:04 +0100)]
Simplify a bit the sum (to sum boolean with integer is possible)

3 years agoDay 2
Greg Burri [Wed, 2 Dec 2020 09:01:20 +0000 (10:01 +0100)]
Day 2

3 years agoDay 1 part 1&2
Greg Burri [Tue, 1 Dec 2020 09:27:17 +0000 (10:27 +0100)]
Day 1 part 1&2

3 years agoInitial commit
Greg Burri [Mon, 30 Nov 2020 14:02:38 +0000 (15:02 +0100)]
Initial commit