jonnify · learning portal · home

Welcome back, Ada.

Two modules down, the substitution model open on your desk. The portal keeps the thread — pick it up exactly where you left it.

2of 75 core modules

0of 8 labs

F1.02up next

continue learningF1 · Algebra

F1.02 — The substitution model

chapter F1 · 1 of 9 core complete

Resume F1.02 →Review F1.01

Your climb so far — two chapters carry footprints.

up nextthe queue, honestly labelled

F1.02The substitution modelin progress→ F1.03Composition, f∘gsoon F0.1The evolution of functional programming languages & runtimessoon

the outlinenine chapters · 75 core modules · 9 optional dives

Every chapter, every module, one board. Mark a module complete when you close it — the numbers, the bar, and the climb recompute from the same record Portal.Progress keeps.

F1 · Algebra — the on-ramp1 of 9 core · 0 of 3 dives

dives · optional

progress_for("USR0NbAb1xcFCy") · core 2 of 75 · 3% · next F1.02

completion is kept in memory for this tab · the wire to Portal.Progress lands with the Phoenix chapter

Progress here is a fold, not a feeling — one record in, one percentage out, and every number on this page derives from the same list.