parsing

What problem does it solve?

This Skill demonstrates how to use the lean4-parser library to parse structured input, reducing ad-hoc string handling and increasing correctness for AoC puzzles and general text processing tasks.

Core Features & Use Cases

• SimpleParser usage: Leverage SimpleParser and parser combinators for robust parsing with helpful error messages.
• Common Combinators: Use primitives like char, string, ASCII.parseInt, sepBy, first, and endOfInput to build clear parsers.
• Use Case: Parse AoC puzzle inputs such as lines of numbers, coordinates, or key-value pairs into structured data.

Quick Start

Create a Small parser using lean4-parser to read a line like "1, -2, 3" into a list [1, -2, 3], and run it on your input.