Index
Preface
The documentation is very incomplete, much like the language itself. Type assertions are frequently used where they are not actually required. This is to make the code easier to understand, and to demonstrate important concepts. You should not put so many type assertions in your code (unless you really want to). Halcyon's type inference algorithm is powerful, take advantage of it.