sigrid
/
idris2
Code
Insights
/
Code
History
Commits on
master
to
libs/base/Language/Reflection
4
EB
Use a data type for dotting reason
Edwin Brady committed 6 years ago
a26581f
EB
Add uniqueSearch data type option
Edwin Brady committed 6 years ago
663e1b8
EB
Begin elaboration of quoting terms
Edwin Brady committed 6 years ago
07509f6
EB
Reorganise Language.Reflection modules
Edwin Brady committed 6 years ago
aae3d0f
Keyboard shortcuts
Close
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