:beers: A simple TAP producer and consumer/reporter for Idris - View it on GitHub