Code

History

Commits on master to docs35+
  1. Update docs; options now in config.mkEdwin Brady committed 6 years ago7259743
  2. Idiom brackets syntax was fixed in the docsDenis Buzdalov committed 6 years ago5088cb6
  3. Complete the documentation on the Gambit backendAbdelhakim Qbaich committed 6 years ago281d32a
  4. Preparation for the Gambit Scheme backendAbdelhakim Qbaich committed 6 years ago1bbf662
  5. Add compatibility with the original record update syntax.Matus Tejiscak committed 6 years ago82a23af
  6. Merge branch 'master' into recordsEdwin Brady committed 6 years ago1262ca2
  7. Wording.Matus Tejiscak committed 6 years ago682ebbf
  8. Update typesfuns.rst.Matus Tejiscak committed 6 years agod4ac7b6
  9. Add reference for the dot record syntax.Matus Tejiscak committed 6 years agoeb5af61
  10. Added documentation on literate modes to the reference document.Jan de Muijnck-Hughes committed 6 years ago89b68d7
  11. Merge branch 'master' of https://github.com/jeetu7/Idris2 into jeetu7-masterEdwin Brady committed 6 years ago9930b64
  12. DittoKamil Shakirov committed 6 years agodfc7001
  13. DittoKamil Shakirov committed 6 years agod258584
  14. Refactored the docs directory for latest sphinx_rtd_theme.Jeetu committed 6 years ago00fc9a6
  15. Removed docs directory for adding new docs.Jeetu committed 6 years ago5175743
  16. Mostly references naming. Still footnotes are not coming on the same line as its number.Jeetu committed 6 years agodb25e81
  17. Spelling mistake corrected.Jeetu committed 6 years agoa24511e
  18. Added instruction for virtual environment for python.Jeetu committed 6 years agoa9ac084
  19. Fix some typos in the tutorialKamil Shakirov committed 6 years ago0ea5958
  20. Merge pull request #265 from then0rTh/patch-1Edwin Brady committed 6 years agoe383c27
  21. fix typo in docs/tutorial/typesfuns.rstthen0rTh committed 6 years agoe6fe418
  22. Update Idris prompt in the tutorialKamil Shakirov committed 6 years ago55b3f88
  23. [ cosmetic ] cleanup trailing whitespace + typosGuillaume Allais committed 6 years ago2c7b246
  24. --build and --clean now looks at executable fieldEdwin Brady committed 6 years agoe027e0c
  25. Better disambiguation of pairsEdwin Brady committed 6 years agob3dc643
  26. Better ambiguity resolutionEdwin Brady committed 6 years ago736699c
  27. Note on %hint in documentationEdwin Brady committed 6 years ago95a90d0
  28. Minor documentation editsEdwin Brady committed 6 years ago41ec1fc
  29. Some documentation editsEdwin Brady committed 6 years ago52273be
  30. Ints in buffers are 32 bitEdwin Brady committed 6 years ago2938e86
  31. Look for scrutinee type in caseEdwin Brady committed 6 years agoebafddc
  32. Merge pull request #227 from ska80/typedd-book/chapter13-14Edwin Brady committed 6 years ago776abeb
  33. Port code examples for chapters 13 and 14 from TypeDD bookKamil Shakirov committed 6 years ago1704495
  34. various copyeditsMatthew Wilson committed 6 years ago6c11d7a
  35. Look under . for function name on lhsEdwin Brady committed 6 years ago1dd81ff

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