git.iko.soy
/
jibb
readme
files
commits
refs
on
master
help
sign in
history of
142f2e2..master
compare
9e4bb53
Retain full-check diagnostics and guard documented fragments
iko
5 hours ago
70feb07
Correct the review brief after checking it against the code
Claude
6 hours ago
0dc4ff8
Brief the rest of the repository review, and map the checker
Claude
6 hours ago
e208bcb
Name the core's face and join rulings in the milestone 2 brief
Claude
8 hours ago
f22d19d
Brief the follow-up to the syntax review, and record its outcome
Claude
8 hours ago
db206b5
Record Montelot's syntax decisions of 2026-11-03
Claude
8 hours ago
f5939a4
Print the written name in inline-decimal-sites
Claude
8 hours ago
706e9ca
Note how deep the rests of a body can nest
Claude
8 hours ago
6b9ce23
Test a cast after an open paren, and reword the rest's example
Claude
8 hours ago
138acf9
Write casts and ?- arms in the canonical layout
Claude
8 hours ago
98daa20
Let a body's final line hand the rest of the body to its rune
Claude
9 hours ago
b4bcb9a
Say that unface keeps faces bound to a variable later
Claude
8 hours ago
ed4427c
Show where unface meets S1 step 1
Claude
8 hours ago
b71609d
Add unface, which strips every face from a type
Claude
8 hours ago
16c08c8
Allow type variables longer than one letter
Claude
8 hours ago
a8bf207
Let a change's item name a wing (review S6)
Claude
8 hours ago
ba46974
Say in the spec that a bare decimal is a @ud
Claude
9 hours ago
c4e28d2
Let a bare decimal fit only @ud and its ancestors
Claude
9 hours ago
d4aed71
Reject a pattern name that spells one of the subject's tags
Claude
9 hours ago
322c3d4
Add a milestone 2 review and a brief to finish it
Claude
8 hours ago
9babd32
Keep the selftest stub's loop in constant memory
Claude
8 hours ago
e97aebe
Rewrite status.md as a capability table
Claude
8 hours ago
f84a29e
Remove the GitHub Actions workflow
Claude
9 hours ago
44e3324
Spell out deeper lines, nested patterns and faced inits
Claude
9 hours ago
d43c99b
Move the importer-only fixtures to a jibb-fixtures desk
Claude
9 hours ago
8125287
Read my-app's sources on the test desk instead of copies
Claude
9 hours ago
933bc83
Move the importer's test fixtures into its test suite
Claude
10 hours ago
32f4b78
Check spans and the Hoon references with test arms
Claude
10 hours ago
d74b5e2
Run the test suites' arms under eval with one runner
Claude
10 hours ago
ec7c6d4
Cover forward dependency resolution
iko
12 hours ago
ba67080
Stop committing the generated golden test file
Claude
12 hours ago
93d6b23
Recover every direct initializer by one path
Claude
12 hours ago
839f6b0
Resolve top-level definitions dependencies first
Claude
15 hours ago
96d1784
Stop the printer's 26-variable cap from gating what checks
Claude
15 hours ago
c0a0b85
Take fresh IDs from one pass instead of a budgeted scan
Claude
15 hours ago
38c711c
Unify branch result joining
iko
14 hours ago
84b8527
Run the eval checks in CI
Claude
15 hours ago
7bc7d54
Let the repository spec win, and keep settled questions in Decisions
Claude
15 hours ago
116178b
License Jibb under MIT
Claude
15 hours ago
cdf53c8
Add tools/hoon --no-debug, for timings
Claude
15 hours ago
ce69a3b
Keep the reasons full module checks already find
Claude
15 hours ago
f0411ad
Report a local definition's own definite error
Claude
15 hours ago
2b9666c
Pass projected pairs to the overlap witness and state its order
Claude
18 hours ago
447a592
Report projected union overlaps from the full module check
Claude
19 hours ago
a211c34
Fix checker regressions from the repository review
iko
16 hours ago
f1bf92c
Add a review of Jibb's syntax
Claude
18 hours ago
f583172
Add a flake that builds the desks and runs every check
Claude
19 hours ago
0a86d7c
Add tools/check, one runner for every check
Claude
19 hours ago
537afda
Run the Clay fixtures self-test's fake ship with this Python
Claude
19 hours ago
f43d2ee
open-questions: question 25 is settled by @iko's eq work
Claude
19 hours 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