search

edwinb / Idris2-boot

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

Adding corresponding toFileError for FileExists #316

Closed abdelq closed 4 years ago

abdelq commented 4 years ago

In addition, some typo fixes.

edwinb commented 4 years ago

Thanks for the addition.