@@ -4,21 +4,19 @@ sort: 1
44
55# Core Hoon
66
7−Hoon is strict, typed functional programming without math.
7+Hoon is strict, typed functional programming without category
8+theory.
89
910Hoon is named after a Wallace Stevens poem. Coincidentally, it
1011means "hooligan" in Australian. Practically, "Hoon" is a short
1112punchy name which search engines handle well.
1213
13−This manual defines a practical Hoon subset we call Core Hoon.
14−Some of the internal structures we present are simplified to
15−reflect the Core subset.
14+Hoon has simple principles and a lot of details. To keep the
15+details from getting overwhelming, we start out learning a
16+simplified subset called Core Hoon. (Note that some of the
17+internal structures we show are simplified to match the subset.
18+These simplifications are corrected under Advanced Types.)
1619
17−To read it for the first time, read these links in order:
20+To learn Hoon, traverse this tree in depth-first order:
1821
1922<list/>
20−
21−The Core manual is as terse as possible and written from a
22−top-down reference perspective. This will suit some and not others. For a
23−more narrative, bottom-up analysis, read [Deep Hoon](deep).
24−