git.iko.soy
/
jibb
readme
files
commits
refs
on
master
help
sign in
history of
fb6373f..master
compare
f1bf92c
Add a review of Jibb's syntax
Claude
1 hour ago
f583172
Add a flake that builds the desks and runs every check
Claude
2 hours ago
0a86d7c
Add tools/check, one runner for every check
Claude
2 hours ago
537afda
Run the Clay fixtures self-test's fake ship with this Python
Claude
2 hours ago
f43d2ee
open-questions: question 25 is settled by @iko's eq work
Claude
2 hours ago
a3ea2cc
selftest: expect tools/golden to split a dying batch in halves
Claude
2 hours ago
bf65f8f
Record the answers to review questions 24 to 45; list the spec rulings for @iko
Claude
4 hours ago
673eb51
Record the answers to review questions 1 to 23
Claude
4 hours ago
452f64c
tools/golden: split a dying batch in halves; prepare the prelude under mule
Claude
4 hours ago
941c486
tools/ship: find the ship by its binary; read empty .txt files
Claude
4 hours ago
68d9b76
Lexer: report a cut-off escape as one, and test the character rules
Claude
4 hours ago
0858191
Infer gate-free equality constraints
iko
3 hours ago
4f4978f
Note the commits that landed during the review
Claude
5 hours ago
9440a2d
Lay out the review questions' options as lists
Claude
5 hours ago
e146134
List the decisions the repository review raises
Claude
5 hours ago
c7cd17d
Add a review of the whole repository
Claude
5 hours ago
5ccd150
Add the hunt prelude gate
iko
7 hours ago
0e8ecb4
Check the remaining doc fragments
iko
7 hours ago
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