ParsingWithProofs. Applicative/monadic parsing with dependent types

github.com/avieth/ParsingWithProofs
by @avieth

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.