Closed palinatolmach closed 5 months ago
Closes https://github.com/runtimeverification/gitbook-kontrol/issues/44.
This PR adds Developer Docs section to our documentation (I think) and adds the documentation for the digest file copied from https://docs.google.com/document/d/18HEqdVx2pi2tRjq-4GvYy80I4RuEgHxwQX2zniHEAfo/edit. @asavienko if there are any further changes you'd like to make in this file, please let me know or do it here. Thanks!
Developer Docs
digest
Closes https://github.com/runtimeverification/gitbook-kontrol/issues/44.
This PR adds
Developer Docssection to our documentation (I think) and adds the documentation for thedigestfile copied from https://docs.google.com/document/d/18HEqdVx2pi2tRjq-4GvYy80I4RuEgHxwQX2zniHEAfo/edit. @asavienko if there are any further changes you'd like to make in this file, please let me know or do it here. Thanks!