https://github.com/input-output-hk/iog-agda-prelude

Supplementary types and functions for the Agda prelude
https://github.com/input-output-hk/iog-agda-prelude

agda formal-methods

Last synced: 8 months ago
JSON representation

Supplementary types and functions for the Agda prelude

• Host: GitHub
• URL: https://github.com/input-output-hk/iog-agda-prelude
• Owner: input-output-hk
• License: apache-2.0
• Created: 2024-08-09T12:39:04.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2025-09-01T12:41:59.000Z (9 months ago)
• Last Synced: 2025-10-04T06:55:32.896Z (8 months ago)
• Topics: agda, formal-methods
• Language: Agda
• Homepage:
• Size: 57.6 KB
• Stars: 3
• Watchers: 10
• Forks: 1
• Open Issues: 3
• Metadata Files:
  • Readme: ReadMe.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# IOG Agda Prelude

Supplementary Agda types and functions for use in IOG projects.

## Build

```bash

nix build

```

or

```bash

nix develop

agda src/Everything.agda

```