# type-level.rs

Type-level programming in Rust

[![build status](https://api.travis-ci.org/epsilonz/type-level.rs.svg?branch=master)](https://travis-ci.org/epsilonz/type-level.rs)

## Synopsis

This library implements type-level programming functionality.

## Documentation

See the API documentation [here](http://epsilonz.github.io/type-level.rs/doc/type-level/).

## Requirements

1.   [Rust](http://www.rust-lang.org/)
2.   [Cargo](http://crates.io/)

You can install both with the following:

```
$ curl -s https://static.rust-lang.org/rustup.sh | sudo sh
```

See [Installing Rust](http://doc.rust-lang.org/guide.html#installing-rust) for further details.

## Usage

```
$ cargo build       ## build library and binary
$ cargo test        ## run tests in ./tests
$ cargo bench       ## run benchmarks in ./benches
```

## Discussion

There is an IRC channel on [freenode](https://freenode.net) (chat.freenode.net) at [#epsilonz](http://webchat.freenode.net/?channels=%23epsilonz).