Code

History

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