idris-hackers / software-foundations

Software Foundations in Idris
https://idris-hackers.github.io/software-foundations
MIT License
452 stars 34 forks source link

Fix testNextWeekday. #58

Closed thealmarty closed 5 years ago

thealmarty commented 5 years ago

idris-proof-search on it now works.

clayrat commented 5 years ago

This doesn't look right, nextWeekday Saturday is already Monday.

thealmarty commented 5 years ago

Sorry I've made a mistake.