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 Text.Parser.count #377

Closed andylokandy closed 3 years ago

andylokandy commented 4 years ago

Current implementation would throw 'out of order' with quantity exactly n.