Code

History

Commits on master to Notes7
  1. Use HTTPS instead of HTTPMilan Kral committed 6 years agoeb7be5e
  2. Merge branch 'master' of https://github.com/edwinb/Idris2Arnaud Bailly committed 7 years agob682acc
  3. Update %cg directives documentationEdwin Brady committed 7 years ago6edd724
  4. make library loading directive documentation specific to chezArnaud Bailly committed 7 years agof06a635
  5. document %cg code generation directive for DLL loadingArnaud Bailly committed 7 years agoa646575
  6. allow running IDE mode on different network interfacesArnaud Bailly committed 7 years ago3520f7d
  7. Add some notesEdwin Brady committed 7 years ago18f269b

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