IOG Agda Prelude Supplementary Agda types and functions for use in IOG projects. Build nix build or nix develop agda src/Everything.agda