search

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris
https://idris-lang.org/
Other
903 stars 58 forks source link

Fix tests/chez/chez017 test #374

Closed ska80 closed 4 years ago

edwinb commented 4 years ago

Oops! I have no idea why I didn't notice I'd done that, or why Travis has stopped emailing me when I do something daft. Thanks for the fix.