Hi folks, Should people working on HTDP be welcome to include contracts http://pre.plt-scheme.org/plt/doc/guide/contracts.html to specify the behavior of functions that they implement? Best wishes, Grant