Skip to content

Commit 9908118

Browse files
committed
Add an AGENTS.md
1 parent 005c66e commit 9908118

File tree

1 file changed

+10
-0
lines changed

1 file changed

+10
-0
lines changed

AGENTS.md

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
2+
# Organization
3+
4+
- The MPFR bindings live in `mpfr.rkt`; the base interval definition
5+
is in `ops/core.rkt`; the interval arithmetic functions are in
6+
`ops/`; the real evaluator is in `eval/`; the REPL is in `repl.rkt`.
7+
The tests are in `test.rkt`; the nightly is `time.rkt`. The nightly
8+
also has various helper functions in `infra/`
9+
- When editing an interval arithmetic function, always run the tests.
10+
Run tests with `racket -y test.rkt add` (for the right function).

0 commit comments

Comments
 (0)