factor

Author	SHA1	Message	Date
Joe Groff	d641f6af8f	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