1-p
Results
4
issues of
1-p
In this example, https://github.com/edwinb/TypeDD-Samples/blob/master/Chapter2/AveMain.idr, entering ^D just cause an infinite stream of "Enter a string: The average word length is: nan". Is this expected or a bug? I expect it...
#18 and #28 fixed.
to reproduce, start a new line, hit `TAB`, then `/` twice. or hit `/` twice and then `TAB` at the beginning of the line. `Segmentation fault: 11` Seems like the...