search

tact-lang / tact-docs

Tact main documentation
https://docs.tact-lang.org
40 stars 36 forks source link

feat: `.fromCell()` and `.fromSlice()` functions #274

Closed novusnota closed 6 days ago

novusnota commented 1 week ago

Closes #260

anton-trunov commented 6 days ago

Any progress here?

novusnota commented 6 days ago

Wasn't sure how to best showcase those laws/rules/properties and if the very formal description there is worth it. I'll come up with something today though

anton-trunov commented 6 days ago

the very formal description there is worth it

It definitely is! There are readers with various backgrounds, for some of them it's easier to look at a formula to see immediately what it is all about. You might want to put it into an "advanced" box, like the ones with warnings

novusnota commented 6 days ago

Found the neat description, such that it's rather formal, but not rigorous in the sense that it doesn't use quantifiers, while accurately saying what's going on and providing examples. Will push in 20 minutes or less