git.iko.soy
/
jibb
readme
files
commits
refs
on
master
help
sign in
history of
docs/spec/overview.md
all commits
138acf9
Write casts and ?- arms in the canonical layout
Claude
3 days ago
44e3324
Spell out deeper lines, nested patterns and faced inits
Claude
3 days ago
fb6373f
Restore raw-poke command helpers
iko
3 days ago
4bf477e
Check the unchanged cart store and basket
iko
4 days ago
0517053
Add the theme mold and explicit unit syntax
iko
4 days ago
81af5fd
Preserve public generic union alias names
iko
5 days ago
1a891e2
Infer source-backed arithmetic without loobeans
iko
5 days ago
e3e184f
Parse type holes and reject duplicate record fields
iko
6 days ago
c790a9f
Expose transparent poke from internal prelude
iko
6 days ago
7ff15f1
Contextualize finite patterns and record poke decision
iko
6 days ago
d782b45
Record type decisions and enforce capital equality
iko
6 days ago
47a1f49
Validate Ford imports and report type error sites
iko
6 days ago
51ce4d9
Extend partial type inference and Hoon imports
iko
6 days ago
1dd92a6
Start type inference and Hoon imports
iko
6 days ago
aad6ddb
Drop the union rune
iko
6 days ago
5cc44b4
Document the project and brief milestone 2
Claude
6 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