Re: Looking for Formal Specification

2021-10-16 Thread John Wiegley
> "ДП" == Дмитрий Поляков  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

-- 

--- 
You received this message because you are subscribed to the Google Groups 
"Ledger" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ledger-cli+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ledger-cli/m235p0li7j.fsf%40newartisans.com.


Looking for Formal Specification

2021-10-16 Thread Дмитрий Поляков
Have ledger something like paper or document that describe so-called 
"Ledger Data Structure" with corresponding methods or something like this?

-- 

--- 
You received this message because you are subscribed to the Google Groups 
"Ledger" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ledger-cli+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ledger-cli/ad71a384-10a2-4069-ba5f-1eb75f4ed3fcn%40googlegroups.com.