# `fin` - finite, NaN-free floiting point numbers for rust

Working with floats can be a bit of a pain in the backside, since floats can
carry errors conditions that are not handled by the type system.
In addition, rust does not implement the `Ord` trait for `f3` and `f64`. Which
is correct since a total ordering makes no sense in the face of `NaN`-values.

`fin` aims to improve on that situation as a zero-cost abstraction (in the sense
that the performance hit is not greater than manually checking conditions where
its nessesary)

## Usage

Add this to your `Cargo.toml` (since the fin project is very much in flux,
getting this package from github is the preferred way for now):
```
[dependencies]
fin = { git = "https://github.com/madmalik/fin.git" }
````

and this to your crate root:

```
extern crate fin;
```

## Principle

Fin uses session types to track invariants on floating point numbers.



## License
MIT