git.iko.soy
/
jibb
readme
files
commits
refs
on
72acdb3
help
sign in
72acdb3
Infer nested tagged-union payloads from context
iko
2 days ago
911ca0c
Compare constructor heads by noun value
iko
2 days ago
a1c5f35
Infer the todo API request interfaces
iko
2 days ago
dde791c
Infer a source-backed API request gate
iko
2 days ago
ae1ec26
Recognize default-wrapped imported unions
iko
2 days ago
3f55af7
Add source-backed transparent requests
iko
2 days ago
f0f6954
Analyze API supporting definitions
iko
2 days ago
f69493d
Derive API request components
iko
2 days ago
445a0a1
Retain source-backed API path evidence
iko
2 days ago
640a442
Add source-backed like result mapping
iko
2 days ago
81af5fd
Preserve public generic union alias names
iko
2 days ago
1a891e2
Infer source-backed arithmetic without loobeans
iko
2 days ago
cf17925
Infer single-field record projections
iko
2 days ago
75f5952
Check explicit record projections
iko
2 days ago
0ea700d
Add source-defined qath inference and explicit proj decision
iko
2 days ago
ba1fec4
Add source-backed bond prelude gate
iko
2 days ago
80e221a
Infer supported annotation holes and prelude list aliases
iko
2 days ago
e3e184f
Parse type holes and reject duplicate record fields
iko
2 days ago
4e472b5
Pass known unions through polymorphic gates
iko
2 days ago
0bf6178
Import recursive Tlon unions and prepare comparison interface
iko
2 days ago
c690076
Import named ordered maps and infer predicate branches
iko
2 days ago
413b12b
Propagate call context and batch ship deletions
iko
2 days ago
ad0265e
Infer command molds and single-case patterns
iko
2 days ago
ed9291e
Infer term-headed pairs and import nested unions
iko
2 days ago
fd2f288
Infer nested fields of imported values
iko
2 days ago
e28f7be
Diagnose value cycles and import null-tagged cases
iko
2 days ago
beada10
Analyze API paths and import Ford union marks
iko
2 days ago
ad46655
Import Hoon noun types
iko
2 days ago
ef4772a
Import Hoon loobean types
iko
2 days ago
c790a9f
Expose transparent poke from internal prelude
iko
2 days ago
7ff15f1
Contextualize finite patterns and record poke decision
iko
2 days ago
67f900e
Infer local recursive groups and uncontextualized lists
iko
2 days ago
ef2ea71
Import Hoon null singleton cases
iko
2 days ago
c8f894a
Contextualize union branches and report nested tags
iko
2 days ago
ae35005
Import source-verified tagged Hoon unions
iko
2 days ago
d69cc52
Infer longer cell patterns and unit helpers
iko
2 days ago
a140383
Report missing union tags and infer unit helpers
iko
2 days ago
264a436
Infer contextual unit payloads
iko
2 days ago
0bc5113
Infer record casts and unit construction
iko
2 days ago
54852d4
Infer tuple contexts and record changes
iko
2 days ago
9dd35c8
Check finite boolean union patterns
iko
2 days ago
9f1517e
Infer whole-case union patterns and prelude turn
iko
2 days ago
ddba633
Infer top-level mutually recursive gates
iko
2 days ago
98c19cd
Infer known string interpolations
iko
2 days ago
054e651
Report nested imported mold errors
iko
2 days ago
45afb13
Scope local capitals and report direct import errors
iko
2 days ago
10cbf9c
Infer local recursion and classify importer errors
iko
2 days ago
7081198
Clarify local type variable scope
iko
2 days ago
1470d18
Infer recursive prelude list helpers
iko
2 days ago
918acbd
Preserve named samples in recursive gates
iko
2 days ago
older commits
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