-
Notifications
You must be signed in to change notification settings - Fork 9
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Make fold combinators total to enable verified parsers
enhancementNew feature or requestNew feature or requestStatus: Open.#95 In fgdorais/lean4-parser;Lexer framework
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.#59 In fgdorais/lean4-parser;Documentation + Tutorial
documentationImprovements or additions to documentationImprovements or additions to documentationenhancementNew feature or requestNew feature or requestStatus: Open.#57 In fgdorais/lean4-parser;Missing
LawfulMonadinstanceenhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersStatus: Open.#27 In fgdorais/lean4-parser;