3 Commits (1893f72d55d20b98e6debc43c43a48daaf6c0cf3)

Author	SHA1	Message	Date
John Benediktsson	ceb75057da	change ERROR: words from throw-foo back to foo.	2015-08-13 16:13:05 -07:00
Doug Coleman	b6be8685c3	basis: ERROR: changes.	2015-08-13 03:20:39 -07:00
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