newt/aoc2023 at 7d218a4b9458f1b9f66fe878f0adc9a69dfe6d1c - newt

Files

Steve Dunham 9ed2b2077d fixes and changes for porting

- forward declaration of records
- fixes to projections
- drop record accessors (use projections instead)
- changes to names to disambiguate

2025-01-01 20:21:07 -08:00

day1

Get AOC day1 working

2024-10-22 20:30:20 -07:00

day2

aoc2023 day2, codegen fixes, parsing fix

2024-10-23 20:36:39 -07:00

day3

Day3 working

2024-11-29 22:10:43 -08:00

day4

port aoc2023 day4

2024-11-30 10:27:06 -08:00

day5

Day5

2024-11-30 12:01:55 -08:00

day6

Day6 and let identifiers contain ?

2024-11-30 17:07:49 -08:00

Aoc.newt

fixes and changes for porting

2025-01-01 20:21:07 -08:00

Day1.newt

At patterns on LHS

2024-12-14 20:10:43 -08:00

Day2.newt

destructuring lets and arrows

2024-11-30 15:20:51 -08:00

Day3.newt

improvements to erasure checking

2024-12-06 20:34:40 -08:00

Day4.newt

destructuring lets and arrows

2024-11-30 15:20:51 -08:00

Day5.newt

Fill in more prelude, 2024d1

2024-11-30 21:46:36 -08:00

Day6.newt

Day6 and let identifiers contain ?

2024-11-30 17:07:49 -08:00

Lib.newt

add namespaces to names

2024-12-26 18:51:46 -08:00

Node.newt

add namespaces to names

2024-12-26 18:51:46 -08:00

Prelude.newt

link prelude copies to same file

2024-12-03 17:42:11 -08:00

README.md

Get AOC day1 working

2024-10-22 20:30:20 -07:00

README.md

Attempts to port AOC2023 solutions from Lean4 to see how usable newt is.