Here is a little example of how to use define-type and type-case : #lang plai ; A ListOfNumbers are either ; is either an empty list of ...
確定! 回上一頁