define-type is not part of the "basic" scheme, it is part of the "Typed scheme". To use this language in Dr Scheme:
Make sure "Module" is selected in the drop-down list in the lower left corner of the window. Then in the upper window type:
and click the "Run" button.
anon
source
share