0.4-understand-type_systems_for_working_programmers

understand-type_systems_for_working_programmers

Subdomain shelf: the top 6 load-bearing concepts of type_systems_for_working_programmers in type systems for working programmers. Descend to an understand-{x} leaf for the full import cone.

Index summary

[0.4] understand-type_systems_for_working_programmers — a skill index node; opens to 6 branch(es): understand-optics_type (skill), understand-type_inference (skill), understand-discriminated_union (skill), understand-type_variable (skill), understand-type_error (skill), understand-tagged_union_type (skill). Reachable below: understand-optics_type, understand-type_inference, understand-discriminated_union, understand-type_variable, understand-type_error, understand-tagged_union_type.

Descend — the next layer (6)

Only this layer is loaded now. To descend, use the Read tool on a child below — that injects the child's layer. A Bash cat reads the bytes but loads nothing; you must use the Read tool:

• 0.4.1-understand-optics_type (skill): Read /home/runner/work/dark-factory-live/dark-factory-live/kbworld/state/libraries/type_systems_for_working_programmers/understand-type_systems_for_working_programmers/understand-optics_type/.claude/skills/0.4.1-understand-optics_type/SKILL.md
• 0.4.2-understand-type_inference (skill): Read /home/runner/work/dark-factory-live/dark-factory-live/kbworld/state/libraries/type_systems_for_working_programmers/understand-type_systems_for_working_programmers/understand-type_inference/.claude/skills/0.4.2-understand-type_inference/SKILL.md
• 0.4.3-understand-discriminated_union (skill): Read /home/runner/work/dark-factory-live/dark-factory-live/kbworld/state/libraries/type_systems_for_working_programmers/understand-type_systems_for_working_programmers/understand-discriminated_union/.claude/skills/0.4.3-understand-discriminated_union/SKILL.md
• 0.4.4-understand-type_variable (skill): Read /home/runner/work/dark-factory-live/dark-factory-live/kbworld/state/libraries/type_systems_for_working_programmers/understand-type_systems_for_working_programmers/understand-type_variable/.claude/skills/0.4.4-understand-type_variable/SKILL.md
• 0.4.5-understand-type_error (skill): Read /home/runner/work/dark-factory-live/dark-factory-live/kbworld/state/libraries/type_systems_for_working_programmers/understand-type_systems_for_working_programmers/understand-type_error/.claude/skills/0.4.5-understand-type_error/SKILL.md
• 0.4.6-understand-tagged_union_type (skill): Read /home/runner/work/dark-factory-live/dark-factory-live/kbworld/state/libraries/type_systems_for_working_programmers/understand-type_systems_for_working_programmers/understand-tagged_union_type/.claude/skills/0.4.6-understand-tagged_union_type/SKILL.md