/

History

Commits on master to samples/Interp.idr1

Update interpreter section of crash courseEdwin Brady committed 6 years ago0be0c27

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