Arnaud BaillyMerge remote-tracking branch 'upstream/master' into better-ide-moded5e63336 years agoHistory
NameLast commit messageLast commit date
..
Do.idrRemove trailing whitespace from Idris sources.7 years ago
expectedmake tests pass, tweaking repl's output7 years ago
inputcheck noprelude option when starting up without loading a file #657 years ago
runAdd '--no-banner' option7 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