git.iko.soy
/
jibb
readme
files
commits
refs
on
26554ac
help
sign in
26554ac
Infer atom constraints and inspect Clay types
iko
2 days ago
be6d2a5
Check atom widening and nested Hoon imports
iko
2 days ago
51ce4d9
Extend partial type inference and Hoon imports
iko
2 days ago
1dd92a6
Start type inference and Hoon imports
iko
2 days ago
a8dd227
Record the rules for gates generic over auras
Claude
2 days ago
aad6ddb
Drop the union rune
iko
2 days ago
ea5ed18
Brief the change that drops $?
Claude
2 days ago
5cc44b4
Document the project and brief milestone 2
Claude
2 days ago
ab797a9
Settle the doc's grammar questions in the parser
Claude
2 days ago
5a4aa73
Add tools/doc-blocks, which checks the doc's examples
Claude
2 days ago
7c739b7
Harden the parser after two independent audits
Claude
2 days ago
3c5f50a
Implement the parser
Claude
3 days ago
15a5545
Implement the layout pass
Claude
3 days ago
1cb51df
Lay the foundation for milestone 1: parser design, tooling, desks, corpus
Claude
3 days 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