git.iko.soy
/
jibb
readme
files
commits
refs
on
d9d51e6
help
sign in
jibb
/
tools
1 folder, 40 files
../
testdata/
Check source-proven recursive tree construction
3 days ago
clay-fixtures
Import named ordered maps and infer predicate branches
4 days ago
doc-blocks
Add tools/doc-blocks, which checks the doc's examples
5 days ago
golden
Expose transparent poke from internal prelude
4 days ago
golden_case.py
Infer supported library import graphs
4 days ago
hoon
Settle the doc's grammar questions in the parser
5 days ago
importer-test
Parse type holes and reject duplicate record fields
4 days ago
noun.py
Lay the foundation for milestone 1: parser design, tooling, desks, corpus
5 days ago
ship
Propagate call context and batch ship deletions
4 days ago
type-api-evidence-test
Retain source-backed API path evidence
4 days ago
type-api-paths-test
Analyze API paths and import Ford union marks
4 days ago
type-arithmetic-guards-test
Infer source-backed arithmetic without loobeans
4 days ago
type-ask-guards-test
Add source-backed transparent requests
4 days ago
type-closed-gate-guards-test
Infer the todo API request interfaces
4 days ago
type-constructor-fit-guards-test
Compare constructor heads by noun value
4 days ago
type-direct-gate-test
Infer direct higher-order gates from source
4 days ago
type-gate-free-guards-test
Analyze gate-free source molds
4 days ago
type-gate-free-source-test
Analyze gate-free source molds
4 days ago
type-generic-alias-test
Preserve public generic union alias names
4 days ago
type-generic-construction-test
Check source-proven recursive tree construction
3 days ago
type-generic-recursion-test
Check source-proven recursive tree construction
3 days ago
type-hole-guards-test
Infer supported annotation holes and prelude list aliases
4 days ago
type-import-default-test
Recognize default-wrapped imported unions
4 days ago
type-import-diagnostic-test
Report nested imported mold errors
4 days ago
type-import-overlap-test
Diagnose source-proven Hoon union overlaps
4 days ago
type-import-structural-test
Prove structural Hoon union overlaps
3 days ago
type-import-test
Extend partial type inference and Hoon imports
4 days ago
type-list-alias-test
Infer supported annotation holes and prelude list aliases
4 days ago
type-mark-test
Import mark samples and strengthen partial inference
4 days ago
type-module-scope-test
Expose transparent poke from internal prelude
4 days ago
type-nested-union-guards-test
Infer nested tagged-union payloads from context
4 days ago
type-poke-test
Expose transparent poke from internal prelude
4 days ago
type-positional-face-guards-test
Add source-backed like result mapping
4 days ago
type-proj-guards-test
Check explicit record projections
4 days ago
type-qath-guards-test
Add source-defined qath inference and explicit proj decision
4 days ago
type-request-guards-test
Infer a source-backed API request gate
4 days ago
type-sub-guards-test
Compare constructor heads by noun value
4 days ago
type-tlon-test
Contextualize union branches and report nested tags
4 days ago
type-todo-api-test
Infer the todo API request interfaces
4 days ago
type-todo-partial-test
Add source-backed list length and todo regression
4 days ago
urbit_eval.py
Settle the doc's grammar questions in the parser
5 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