search

edwinb / Idris2-boot

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

Fix casting Char to String #353

Closed ska80 closed 4 years ago

edwinb commented 4 years ago

I was about to suggest using cast but it seems Idris 1 has the same problem! Thanks for the fix.