Skip to content

Commit f2671db

Browse files
htlouhtlou
authored
Merge branch 'main' into dev-hantao-all-numpy
2 parents 7bf52d9 + 076acbc commit f2671db

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

58 files changed

+113
-11859
lines changed

‎.worktrees/breadthwise-verso/.cursor/mcp.json‎

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

‎.worktrees/breadthwise-verso/.cursor/rules/chain-of-recursive-thoughts.mdc‎

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

‎.worktrees/breadthwise-verso/.cursor/rules/data-pipeline-updates.mdc‎

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

‎.worktrees/breadthwise-verso/.cursor/rules/jaxtyping-shapes.mdc‎

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

‎.worktrees/breadthwise-verso/.cursor/rules/lean-advice.mdc‎

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

‎.worktrees/breadthwise-verso/.cursor/rules/lean-guillemets.mdc‎

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

‎.worktrees/breadthwise-verso/.cursor/rules/lean-syntax-tower.mdc‎

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

‎.worktrees/breadthwise-verso/.cursor/rules/lean-toolchain-sync.mdc‎

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

‎.worktrees/breadthwise-verso/.cursor/rules/python-ruff.mdc‎

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

0 commit comments

Comments
 (0)