git.iko.soy/jibb
on 98c19cd help sign in
history ofdocs/spec/decisions.md
all commits
7081198Clarify local type variable scopeiko d782b45Record type decisions and enforce capital equalityiko 47a1f49Validate Ford imports and report type error sitesiko 26554acInfer atom constraints and inspect Clay typesiko be6d2a5Check atom widening and nested Hoon importsiko 51ce4d9Extend partial type inference and Hoon importsiko 1dd92a6Start type inference and Hoon importsiko a8dd227Record the rules for gates generic over aurasClaude aad6ddbDrop the union runeiko 5cc44b4Document the project and brief milestone 2Claude