search

GaloisInc / daedalus

The Daedalus data description language
BSD 3-Clause "New" or "Revised" License
65 stars 11 forks source link

user-guide: elaborate on how "many" updates its state #307

Closed jtdaugherty closed 1 year ago

jtdaugherty commented 1 year ago

Also: I held off on rebuilding the HTML docs as part of this patch to keep the history clean and also to wait until this was reviewed.