-
-
Notifications
You must be signed in to change notification settings - Fork 3
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#258 In Lambda-Mountain-Compiler-Backend/LSTS;
Replace Regexes with DFAs
checkerIssues related to Typechecking or LogicIssues related to Typechecking or LogicenhancementNew feature or requestNew feature or requestparserIssues related to Tokenization or ParsingIssues related to Tokenization or ParsingStatus: Open.Implement reverse operator for regular expressions
backendIssues related to Proof Objects or Code GenerationIssues related to Proof Objects or Code GenerationcheckerIssues related to Typechecking or LogicIssues related to Typechecking or LogicparserIssues related to Tokenization or ParsingIssues related to Tokenization or ParsingStatus: Open.Add optional term argument to hints
checkerIssues related to Typechecking or LogicIssues related to Typechecking or LogicenhancementNew feature or requestNew feature or requestparserIssues related to Tokenization or ParsingIssues related to Tokenization or ParsingStatus: Open.