Code

History

Commits on master to docs/reference6
  1. Added documentation on literate modes to the reference document.Jan de Muijnck-Hughes committed 6 years ago89b68d7
  2. Removed docs directory for adding new docs.Jeetu committed 6 years ago5175743
  3. --build and --clean now looks at executable fieldEdwin Brady committed 6 years agoe027e0c
  4. Look under . for function name on lhsEdwin Brady committed 6 years ago1dd81ff
  5. Use HTTPS instead of HTTPMilan Kral committed 6 years agoeb7be5e
  6. Add documentation for Idris Packages.Jan de Muijnck-Hughes committed 7 years agobc4bfb3

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