@@ -238,7 +238,7 @@ All types can be inferred, but annotations can optionally be provided.
239## Kind System
239## Kind System
241−There are two primitive kinds, the kind of types and the kind of rows. Higher kinded types are also supported. That is, a type variable can refer to not only a type or a row, but a type constructor, or row constructor etc.
241+There are two primitive kinds, the kind `*` of types and the kind `#` of rows. Higher kinded types are also supported. That is, a type variable can refer to not only a type or a row, but a type constructor, or row constructor etc.
243## Whitespace
243## Whitespace
@@ -342,6 +342,14 @@ Else branches are optional, and may contain further `if` statements, just as in
342 m = m * 3 + 1
342 m = m * 3 + 1
343 count = count + 1
343 count = count + 1
344 return count
344 return count
346+## If-Then-Else Expressions
348+The `if`, `then` and `else` keywords can also be used to create conditional expressions. In this case, the `else` block is always required.
352+ conditional = if 2 > 1 then "ok" else "oops"
346## Pattern Matching
354## Pattern Matching