Edwin BradySwitch to List Char for the lexer79d52c56 years agoHistory
NameLast commit messageLast commit date
..
LexerSwitch to List Char for the lexer6 years ago
ParserSome tiny updates6 years ago
Lexer.idrAdd octal literals6 years ago
Literate.idrRemoved bird style hidden lines from style.6 years ago
Parser.idrBring `src/Text/Parser` and its dependencies closer to idris26 years ago
Quantity.idrBring `src/Text/Parser` and its dependencies closer to idris26 years ago
Token.idrBring `src/Text/Parser` and its dependencies closer to idris26 years ago

Keyboard shortcuts

General

Show keyboard shortcuts
?
Focus the current search
/

Issues and pull requests

Open filters
f

Issues, pull requests and Inbox

Select next item
j↓
Select previous item
k↑
Open selected item
Enter
Dismiss filters or clear selection
Esc

Repository code

Go to file
t