Skip to content

Commit 6b19496

Browse files
hyperpolymathclaude
andcommitted
chore: remove dead Python code from attic and examples
Removed _attic/python-demos, _attic/algorithms/*.py, _attic/design-patterns/*.py, _attic/database-demos/sqlite-demo/database.py, and examples/integrations/python_integration.py. Language policy: Julia only. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
1 parent 42d7305 commit 6b19496

15 files changed

Lines changed: 369 additions & 4825 deletions

File tree

academic/proofs/TYPE_THEORY.md

Lines changed: 369 additions & 23 deletions
Large diffs are not rendered by default.

examples/integrations/python_integration.py

Lines changed: 0 additions & 280 deletions
This file was deleted.

0 commit comments

Comments
 (0)