Fabián Heredia MontielBasic Show instance of NameMap7762c1b6 years agoHistory
NameLast commit messageLast commit date
..
BoolBring `src/Text/Parser` and its dependencies closer to idris26 years ago
ANameMap.idrRemove trailing whitespace from Idris sources.7 years ago
IntMap.idrRemove trailing whitespace from Idris sources.7 years ago
IOArray.idrRemove trailing whitespace from Idris sources.7 years ago
LengthMatch.idrCosmetic changes in src/Compiler/Inline6 years ago
NameMap.idrBasic Show instance of NameMap6 years ago
StringMap.idrfix --clean7 years ago
StringTrie.idrfix --clean7 years ago
These.idrfix --clean7 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