Abstracting over arithmetic

Higher better faster longer

An introduction to Nat

Taking type-level transformations further

In a previous blog post I introduced the scala library Alphabet Soup, for type-level transformations.

Writing a type-level transformation algorithm in scala

The library alphabet-soup can be found here.