ThreadSky
About ThreadSky
Log In
chiroptical.dev
•
39 days ago
I was supposed to read structs/modules first but I couldn't help but peak at contracts. This fails at run-time because 0 is not positive.
Comments
Log in
with your Bluesky account to leave a comment
[–]
chiroptical.dev
•
39 days ago
Not sure how I feel about this yet. On one hand, this is powerful because I have access to the input values. On the other, now my code **and** contract has to be correct. More opportunities to make mistakes. Unsure if the compiler will help me here.
0
reply
Posting Rules
Be respectful to others
No spam or self-promotion
Stay on topic
Follow Bluesky's terms of service
×
Reply
Post Reply
Comments