git.iko.soy
/
jibb
readme
files
commits
refs
on
master
help
sign in
history of
docs/spec/decisions.md
all commits
24eabbe
Remove Claude references from docs
iko
14 hours ago
1ba5022
Add native Jibb formatter
iko
1 day ago
db206b5
Record Montelot's syntax decisions of 2026-11-03
Claude
3 days ago
7bc7d54
Let the repository spec win, and keep settled questions in Decisions
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
911ca0c
Compare constructor heads by noun value
iko
5 days ago
81af5fd
Preserve public generic union alias names
iko
5 days ago
1a891e2
Infer source-backed arithmetic without loobeans
iko
5 days ago
0ea700d
Add source-defined qath inference and explicit proj decision
iko
6 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
7081198
Clarify local type variable scope
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
26554ac
Infer atom constraints and inspect Clay types
iko
6 days ago
be6d2a5
Check atom widening and nested Hoon imports
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
a8dd227
Record the rules for gates generic over auras
Claude
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