[racket] ->i contract question

From: Kevin Forchione (lysseus at gmail.com)
Date: Sun Sep 21 01:47:21 EDT 2014

Hi guys,
Is there a syntax for dependent-range that would allow 0 or more values to be specified? The documentation appears to describe only a specified number of values. Is there an analogue to list of and non-empty-listof?


Posted on the users mailing list.