git.iko.soy
/
jibb
readme
files
commits
refs
on
a8bf207
help
sign in
a8bf207
Let a change's item name a wing (review S6)
Claude
1 day ago
ba46974
Say in the spec that a bare decimal is a @ud
Claude
1 day ago
c4e28d2
Let a bare decimal fit only @ud and its ancestors
Claude
1 day ago
d4aed71
Reject a pattern name that spells one of the subject's tags
Claude
1 day ago
322c3d4
Add a milestone 2 review and a brief to finish it
Claude
1 day ago
9babd32
Keep the selftest stub's loop in constant memory
Claude
1 day ago
e97aebe
Rewrite status.md as a capability table
Claude
1 day ago
f84a29e
Remove the GitHub Actions workflow
Claude
1 day ago
44e3324
Spell out deeper lines, nested patterns and faced inits
Claude
1 day ago
d43c99b
Move the importer-only fixtures to a jibb-fixtures desk
Claude
1 day ago
8125287
Read my-app's sources on the test desk instead of copies
Claude
1 day ago
933bc83
Move the importer's test fixtures into its test suite
Claude
1 day ago
32f4b78
Check spans and the Hoon references with test arms
Claude
1 day ago
d74b5e2
Run the test suites' arms under eval with one runner
Claude
1 day ago
ec7c6d4
Cover forward dependency resolution
iko
1 day ago
ba67080
Stop committing the generated golden test file
Claude
1 day ago
93d6b23
Recover every direct initializer by one path
Claude
1 day ago
839f6b0
Resolve top-level definitions dependencies first
Claude
2 days ago
96d1784
Stop the printer's 26-variable cap from gating what checks
Claude
2 days ago
c0a0b85
Take fresh IDs from one pass instead of a budgeted scan
Claude
2 days ago
38c711c
Unify branch result joining
iko
2 days ago
84b8527
Run the eval checks in CI
Claude
2 days ago
7bc7d54
Let the repository spec win, and keep settled questions in Decisions
Claude
2 days ago
116178b
License Jibb under MIT
Claude
2 days ago
cdf53c8
Add tools/hoon --no-debug, for timings
Claude
2 days ago
ce69a3b
Keep the reasons full module checks already find
Claude
2 days ago
f0411ad
Report a local definition's own definite error
Claude
2 days ago
2b9666c
Pass projected pairs to the overlap witness and state its order
Claude
2 days ago
447a592
Report projected union overlaps from the full module check
Claude
2 days ago
a211c34
Fix checker regressions from the repository review
iko
2 days ago
f1bf92c
Add a review of Jibb's syntax
Claude
2 days ago
f583172
Add a flake that builds the desks and runs every check
Claude
2 days ago
0a86d7c
Add tools/check, one runner for every check
Claude
2 days ago
537afda
Run the Clay fixtures self-test's fake ship with this Python
Claude
2 days ago
f43d2ee
open-questions: question 25 is settled by @iko's eq work
Claude
2 days ago
a3ea2cc
selftest: expect tools/golden to split a dying batch in halves
Claude
2 days ago
bf65f8f
Record the answers to review questions 24 to 45; list the spec rulings for @iko
Claude
2 days ago
673eb51
Record the answers to review questions 1 to 23
Claude
2 days ago
452f64c
tools/golden: split a dying batch in halves; prepare the prelude under mule
Claude
2 days ago
941c486
tools/ship: find the ship by its binary; read empty .txt files
Claude
2 days ago
68d9b76
Lexer: report a cut-off escape as one, and test the character rules
Claude
2 days ago
0858191
Infer gate-free equality constraints
iko
2 days ago
4f4978f
Note the commits that landed during the review
Claude
2 days ago
9440a2d
Lay out the review questions' options as lists
Claude
2 days ago
e146134
List the decisions the repository review raises
Claude
2 days ago
c7cd17d
Add a review of the whole repository
Claude
2 days ago
5ccd150
Add the hunt prelude gate
iko
2 days ago
0e8ecb4
Check the remaining doc fragments
iko
2 days ago
fb6373f
Restore raw-poke command helpers
iko
2 days ago
2d74861
Report unresolved tags at their source
iko
2 days ago
older commits
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list