HigherOrderCO/Kind1
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind1.git synced 2024-09-11 08:45:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

update comment

Browse Source
This commit is contained in:
Rígille S. B. Menezes 2021-12-03 13:47:31 -03:00
parent 9e13d9f4d3
commit 5f7e58366e
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
base/RLP/aux.kind
View File

@ -1,5 +1,4 @@
// These sub-theorems were not proven yet!
// Most of them are simple, and should be finished over the next days
// These are lemmas about how RLP decoding may split a list of Bytes
RLP.aux.split.0(
payload: Bytes
tail: Bytes