search

edwinb / Idris2-boot

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

Check for EOF when reading from an input port #318

Closed ska80 closed 4 years ago

ska80 commented 4 years ago

1) Check for EOF when reading from an input port (Chez backend).

2) Fix getLine to read and return a string without the trailing newline.