Mavis - Typing Library for elixir

Excited to try this out! Do you have a sample project that is using Mavis that we could take a look at?