@@ -4,21 +4,19 @@ sort: 1
7−Hoon is strict, typed functional programming without math.
7+Hoon is strict, typed functional programming without category
9Hoon is named after a Wallace Stevens poem. Coincidentally, it
10Hoon is named after a Wallace Stevens poem. Coincidentally, it
10means "hooligan" in Australian. Practically, "Hoon" is a short
11means "hooligan" in Australian. Practically, "Hoon" is a short
11punchy name which search engines handle well.
12punchy name which search engines handle well.
13−This manual defines a practical Hoon subset we call Core Hoon.
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
14−Some of the internal structures we present are simplified to
17+internal structures we show are simplified to match the subset.
15−reflect the Core subset.
18+These simplifications are corrected under Advanced Types.)
17−To read it for the first time, read these links in order:
20+To learn Hoon, traverse this tree in depth-first order:
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).