IOG Agda Prelude
August 9, 2024 ยท View on GitHub
Supplementary Agda types and functions for use in IOG projects.
Build
nix build
or
nix develop
agda src/Everything.agda
August 9, 2024 ยท View on GitHub
Supplementary Agda types and functions for use in IOG projects.
nix build
or
nix develop
agda src/Everything.agda