Steve Dunham c3e70c9ecc operator sections

2026-01-31 13:21:23 -08:00

..

aoc

updates for prelude changes

2025-12-29 10:34:47 -08:00

aoc25

aoc2025 test script

2026-01-20 17:39:05 -08:00

import_graph.sh

Add some stray files

2026-01-23 12:00:00 -08:00

orig_aoc

move idris version to orig and newt version to src.

2025-02-15 16:36:29 -08:00

orig_test

move idris version to orig and newt version to src.

2025-02-15 16:36:29 -08:00

pack

erase arts in lifted where functions

2025-10-24 11:09:57 -07:00

stats.py

performance and code size improvements

2025-01-18 21:33:49 -08:00

test

operator sections

2026-01-31 13:21:23 -08:00

translate.sh

Aoc passes, and it successfully compiles itself.

2025-01-05 13:56:38 -08:00