search

argumentcomputer / Megaparsec.lean

Lean 4 port of Megaparsec
MIT License
22 stars 4 forks source link

Stream instance for String #15

Closed DanielRrr closed 2 years ago

DanielRrr commented 2 years ago

The instance implementation

DanielRrr commented 2 years ago

LGTM if builds

It does build