Edwin BradyAllow flagging types as externally defined69a76406 years agoHistory
NameLast commit messageLast commit date
..
ControlAdd 'new1' to Control.App6 years ago
DataAllow flagging types as externally defined6 years ago
DebugImplement Debug.Trace, from Idris 1's base package7 years ago
DecidableA bit more library support6 years ago
LanguageUse a data type for dotting reason6 years ago
SystemA bit more library support6 years ago
base.ipkgBasic support for struct in FFI6 years ago
MakefileAdd 'base' libraries7 years ago
System.idrA bit more library support6 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