/

History

Commits on master to src/Idris/Socket1

Added Idris.SocketEdwin Brady committed 7 years agoa7d7785

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