IntersectMBO / IntersectMBO/formal-ledger-specifications

Add sufficient information for zipping a transaction

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

Description

A zipped transaction is one where all the pointers to information have been properly resolved. Currently it's not possible to zip a transaction without any extra information.

We've been considering adding such information (and maybe using the zipped transaction in the ledger rules) for a long time, but we've never gotten around to implementing it. We should investigate how to do this.

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.