Looking for Formal Specification

18 views
Skip to first unread message

Дмитрий Поляков

unread,
Oct 16, 2021, 2:03:07 PMOct 16
to Ledger
Have ledger something like paper or document that describe so-called "Ledger Data Structure" with corresponding methods or something like this?

John Wiegley

unread,
Oct 16, 2021, 6:26:32 PMOct 16
to Дмитрий Поляков, Ledger
>>>>> "ДП" == Дмитрий Поляков <lilte...@gmail.com> writes:

ДП> Have ledger something like paper or document that describe so-called
ДП> "Ledger Data Structure" with corresponding methods or something like this?

Great question; I don't think anything like this exists, at least for the C++
version of the project. Maybe the other ports have something?

John
Reply all
Reply to author
Forward
0 new messages