Edwin BradyA bit more library supportb0e55b56 years agoHistory
NameLast commit messageLast commit date
..
ConcurrencyAdd 'base' libraries7 years ago
Directory.idrAdd directory reading functions6 years ago
FFI.idrBasic support for struct in FFI6 years ago
File.idrA bit more library support6 years ago
Info.idrAdd System.Info6 years ago
REPL.idrRemove trailing whitespace from Idris sources.7 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