IntersectMBO / IntersectMBO/formal-ledger-specifications

Rename `BaseAddr`

Open
#625 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Agda
Stars
52
Forks
20
Avg merge
6d 14h
Merged PRs (30d)
7

Description

See https://github.com/IntersectMBO/formal-ledger-specifications/issues/619#issuecomment-2520249922

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.