• Invalid precondition in "Number Length" mission

Question related to mission Number Length

 

The precondition (or assertion) in this mission is invalid, because zero isn't a positive Int :smile:

Input: A positive Int

numberLength(0) == 1

Created at: 2020/11/12 06:40; Updated at: 2020/11/17 14:17
4
jihidu