better automata through combinators
A small library for creating and using time intervals using common units of time instead.