git.iko.soy
/
jibb
readme
files
commits
refs
on
e208bcb
help
sign in
e208bcb
Name the core's face and join rulings in the milestone 2 brief
Claude
20 hours ago
f22d19d
Brief the follow-up to the syntax review, and record its outcome
Claude
20 hours ago
db206b5
Record Montelot's syntax decisions of 2026-11-03
Claude
20 hours ago
f5939a4
Print the written name in inline-decimal-sites
Claude
20 hours ago
706e9ca
Note how deep the rests of a body can nest
Claude
21 hours ago
6b9ce23
Test a cast after an open paren, and reword the rest's example
Claude
21 hours ago
138acf9
Write casts and ?- arms in the canonical layout
Claude
21 hours ago
98daa20
Let a body's final line hand the rest of the body to its rune
Claude
21 hours ago
b4bcb9a
Say that unface keeps faces bound to a variable later
Claude
21 hours ago
ed4427c
Show where unface meets S1 step 1
Claude
21 hours ago
b71609d
Add unface, which strips every face from a type
Claude
21 hours ago
16c08c8
Allow type variables longer than one letter
Claude
21 hours ago
a8bf207
Let a change's item name a wing (review S6)
Claude
21 hours ago
ba46974
Say in the spec that a bare decimal is a @ud
Claude
21 hours ago
c4e28d2
Let a bare decimal fit only @ud and its ancestors
Claude
21 hours ago
d4aed71
Reject a pattern name that spells one of the subject's tags
Claude
21 hours ago
322c3d4
Add a milestone 2 review and a brief to finish it
Claude
20 hours ago
9babd32
Keep the selftest stub's loop in constant memory
Claude
20 hours ago
e97aebe
Rewrite status.md as a capability table
Claude
21 hours ago
f84a29e
Remove the GitHub Actions workflow
Claude
21 hours ago
44e3324
Spell out deeper lines, nested patterns and faced inits
Claude
22 hours ago
d43c99b
Move the importer-only fixtures to a jibb-fixtures desk
Claude
22 hours ago
8125287
Read my-app's sources on the test desk instead of copies
Claude
22 hours ago
933bc83
Move the importer's test fixtures into its test suite
Claude
22 hours ago
32f4b78
Check spans and the Hoon references with test arms
Claude
22 hours ago
d74b5e2
Run the test suites' arms under eval with one runner
Claude
23 hours 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
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
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