Skip to content

Commit

Permalink
docs: Add link to the Usage wiki page
Browse files Browse the repository at this point in the history
  • Loading branch information
Iltotore committed Jul 12, 2021
1 parent c1722d8 commit 2815c36
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -43,6 +43,8 @@ val runtime = 1d
log(runtime) //Either[IllegalValueError[Double], Double] (Refined[Double])
```

More information on [the wiki](https://github.com/Iltotore/iron/wiki/Constraint-Usage).

### Minimal overhead

When evaluated at compile time, almost all traces of type constraint disappear. They desugar directly to a Right
Expand Down

0 comments on commit 2815c36

Please sign in to comment.