Commit 07da611
chore: extract aggregate-library into its own repository
aggregate-library now lives as a standalone top-level repo at
hyperpolymath/aggregate-library (history preserved via git subtree split).
Remove the vendored subdirectory and fix internal references.
- Remove aggregate-library/ (136 files; full history extracted to the new repo)
- deno.json: drop the ./aggregate-library workspace member
- .hypatia-baseline.json: drop the aggregate-library/** baseline entry
- .machine_readable/6a2/STATE.a2ml: drop the stale TS-exemption path
Cross-ecosystem integration references (affinescript-ecosystem,
rescript-ecosystem) are left intact — they point to the library, which
remains available as the standalone repo.
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>1 parent 4200673 commit 07da611
139 files changed
Lines changed: 0 additions & 17628 deletions
File tree
- .machine_readable/6a2
- aggregate-library
- .claude
- .github
- ISSUE_TEMPLATE
- workflows
- .machine_readable/6a2
- .well-known
- contractiles
- dust
- must
- data
- docs
- examples
- ffi/zig
- src
- test
- lib
- aggregate_library
- ast
- scripts
- specs
- arithmetic
- collection
- comparison
- conditional
- logical
- string
- src
- InterOp
- schema
- test
- tools/stdlib-merger
- config
- src
- parsers
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
31 | 31 | | |
32 | 32 | | |
33 | 33 | | |
34 | | - | |
35 | | - | |
36 | | - | |
37 | | - | |
38 | | - | |
39 | | - | |
40 | | - | |
41 | | - | |
42 | 34 | | |
43 | 35 | | |
44 | 36 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
36 | 36 | | |
37 | 37 | | |
38 | 38 | | |
39 | | - | |
40 | 39 | | |
41 | 40 | | |
42 | 41 | | |
| |||
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
Lines changed: 0 additions & 20 deletions
This file was deleted.
0 commit comments