Home

Jump to bottom

Lukas Rytz edited this page May 9, 2013 · 25 revisions

This Wiki will contain documentation.

State of the project
How to use the plugin (Command Line, sbt, Eclipse)
Syntax overview
- Return type annotations
- Special cases for constructors
- Effect casts
Relative effects
IO effects
Checked exceptions
Purity
How to hack the plugin
- Open issues