Repository navigation

iog-agda-prelude

Public

About

No description, website, or topics provided.

Apache-2.0 license

Custom properties

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
src		src
.gitignore		.gitignore
LICENSE		LICENSE
ReadMe.md		ReadMe.md
flake.lock		flake.lock
flake.nix		flake.nix
iog-prelude.agda-lib		iog-prelude.agda-lib

Repository files navigation

IOG Agda Prelude

Supplementary Agda types and functions for use in IOG projects.

Build

nix build

or

nix develop

agda src/Everything.agda

About

No description, website, or topics provided.

Apache-2.0 license

Custom properties

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages