Steve Dunham a40956a4cc fix names growing in liftWhere and redundant error for ErrorHole

2026-03-21 20:45:28 -07:00

..

aoc

updates for prelude changes

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

aoc25

Remove some ambiguities in parsing

2026-03-06 21:41:26 -08:00

compile-chez.ss

First pass at a scheme backend

2026-03-16 17:03:33 -07:00

import_graph.sh

Add some stray files

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

mkrevision

try CI on tangled.org

2026-02-28 22:25:17 -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

fix names growing in liftWhere and redundant error for ErrorHole

2026-03-21 20:45:28 -07:00

test

enable tests on scheme, fix error handling on scheme

2026-03-21 10:27:45 -07:00

translate.sh

Aoc passes, and it successfully compiles itself.

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