Commit Graph

1 Commits (bea7a405da69b48ac65115d5324acd8c49cd83a2)

Author SHA1 Message Date
Joe Groff 300a0256c8 new vocab tools.annotations.assertions
Annotates unsafe words with assertions that their inputs and outputs are valid. Provide annotations for stream-read(-partial)-unsafe and (set-)nth-unsafe to start with.
2011-10-18 15:13:34 -07:00