Definition
A purely functional language with lazy evaluation and a strong type system; a place to learn to think in types.
Programming language
A purely functional language with lazy evaluation and a strong type system; a place to learn to think in types.
Terms that appear on the same pages, the most frequent first.
This term at the centre of the map of concepts, its neighbours lit; hover any term to read it, click to open it.
2 pages of this site build on this term.
Learning materials, katas and experiments across many languages: the sketches that came before the projects.
Honest instruments and drawn algorithms in the browser: acoustics, physics, sorting, mazes, each readout measured.
↑ ↓ moveEnter open⌘K or / anywhere