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