@@ -20,6 +20,7 @@ sense.
2020
2121In particular, the problems Hoon solves that aren't solved by other
2222functional languages are:
23+
2324- Compile and run other code in a typesafe manner at full speed,
2425- Typesafe metaprogramming, and
2526- Hot code reload and online data migration.
@@ -144,7 +145,7 @@ Hoon and Nock have several unusual properties:
144145 the runtime has a matching jet, it will use that instead of the Nock
145146 implementation. Nock isn't as slow as you might think, especially
146147 considering it's a minimal, dynamic, axiomatic language.
147−<br/><br/>
148+
148149 This arrangement has the deeper implication that all code written in
149150 Nock is best considered as a specification for a program, which can be
150151 executed directly but might never run at all due to being jetted.
@@ -271,6 +272,3 @@ turn, we get an OS that provides far stronger guarantees than Unix with
271272a thousand times less code. Given the complexity of modern software,
272273this is what's required to put personal computing back into the hands of
273274people.
274−
275−
276−