Steve Dunham 3338a617cc Move build products to build directory

2026-03-29 09:56:39 -07:00

..

aoc

Move build products to build directory

2026-03-29 09:56:39 -07:00

aoc25

Move build products to build directory

2026-03-29 09:56:39 -07:00

compile-chez.ss

Move build products to build directory

2026-03-29 09:56:39 -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

Move build products to build directory

2026-03-29 09:56:39 -07:00

translate.sh

Aoc passes, and it successfully compiles itself.

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