15 lines
322 B
Markdown
15 lines
322 B
Markdown
|
# typosaurus-sandbox
|
||
|
|
|
||
|
|
A minimal Python calculator used to verify the Typosaurus agent system.
|
||
|
|
|
||
|
|
## Conventions
|
||
|
|
- Every source file starts with the `# retoor <retoor@molodetz.nl>` header.
|
||
|
|
- Full type annotations on every function signature.
|
||
|
|
- No comments or docstrings in source files.
|
||
|
|
|
||
|
|
## Verification
|
||
|
|
|
||
|
|
```
|
||
|
|
make verify
|
||
|
|
```
|