sigrid
/
idris2
Code
Insights
/
Code
History
Commits on
master
to
libs/base/Control
8
EB
Add 'new1' to Control.App
Edwin Brady committed 6 years ago
5bc11e4
EB
Improve linearity in Control.App
Edwin Brady committed 6 years ago
2584379
EB
Add Control.App to base
Edwin Brady committed 6 years ago
52e6a4f
MM
Remove trailing whitespace from Idris sources.
Michael Morgan committed 7 years ago
e6121e0
EB
Add some Control.Monad things
Edwin Brady committed 7 years ago
fd4f90e
EB
Improve 'with' implementation
Edwin Brady committed 7 years ago
11199ac
EB
Get GlobalHint flag right
Edwin Brady committed 7 years ago
a7bf075
EB
Add 'base' libraries
Edwin Brady committed 7 years ago
c121910
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