Code

History

Commits on master to src/Data14
  1. Bring `src/Text/Parser` and its dependencies closer to idris2Ohad Kammar committed 6 years agoa33095e
  2. Cosmetic changes in src/Compiler/InlineAndré Videla committed 6 years agoa145ba9
  3. Remove trailing whitespace from Idris sources.Michael Morgan committed 7 years agoe6121e0
  4. Some micro-optimisationsEdwin Brady committed 7 years agoe7a4717
  5. fix --cleanAlex Gryzlov committed 7 years ago6d58403
  6. add --clean option for ipkgAlex Gryzlov committed 7 years ago4d3b427
  7. Change main program to be Idris2Edwin Brady committed 7 years ago146c301
  8. More of the Idris machineryEdwin Brady committed 7 years ago5c2d78e
  9. Add Implementation and InterfaceEdwin Brady committed 7 years agob1f7863
  10. Some small tweaksEdwin Brady committed 7 years ago11a72dc
  11. Fill in holes for reading/writing TTCEdwin Brady committed 7 years ago9e7e27e
  12. Added context for global names, store in an arrayEdwin Brady committed 7 years agoe03a2ba
  13. Add specialised maps for Int and NameEdwin Brady committed 7 years ago77e634c
  14. Initial structureEdwin Brady committed 7 years ago082bc5c

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