A small library for tracking mutable state in Idris programs - View it on GitHub