on 26554ac help sign in
all commits
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 5cc44b4Document the project and brief milestone 2Claude