Code

History

Commits on master to docs35+
  1. Merge branch 'master' of https://github.com/jeetu7/Idris2 into jeetu7-masterEdwin Brady committed 6 years ago9930b64
  2. DittoKamil Shakirov committed 6 years agodfc7001
  3. DittoKamil Shakirov committed 6 years agod258584
  4. Refactored the docs directory for latest sphinx_rtd_theme.Jeetu committed 6 years ago00fc9a6
  5. Removed docs directory for adding new docs.Jeetu committed 6 years ago5175743
  6. Mostly references naming. Still footnotes are not coming on the same line as its number.Jeetu committed 6 years agodb25e81
  7. Spelling mistake corrected.Jeetu committed 6 years agoa24511e
  8. Added instruction for virtual environment for python.Jeetu committed 6 years agoa9ac084
  9. Fix some typos in the tutorialKamil Shakirov committed 6 years ago0ea5958
  10. Merge pull request #265 from then0rTh/patch-1Edwin Brady committed 6 years agoe383c27
  11. fix typo in docs/tutorial/typesfuns.rstthen0rTh committed 6 years agoe6fe418
  12. Update Idris prompt in the tutorialKamil Shakirov committed 6 years ago55b3f88
  13. [ cosmetic ] cleanup trailing whitespace + typosGuillaume Allais committed 6 years ago2c7b246
  14. --build and --clean now looks at executable fieldEdwin Brady committed 6 years agoe027e0c
  15. Better disambiguation of pairsEdwin Brady committed 6 years agob3dc643
  16. Better ambiguity resolutionEdwin Brady committed 6 years ago736699c
  17. Note on %hint in documentationEdwin Brady committed 6 years ago95a90d0
  18. Minor documentation editsEdwin Brady committed 6 years ago41ec1fc
  19. Some documentation editsEdwin Brady committed 6 years ago52273be
  20. Ints in buffers are 32 bitEdwin Brady committed 6 years ago2938e86
  21. Look for scrutinee type in caseEdwin Brady committed 6 years agoebafddc
  22. Merge pull request #227 from ska80/typedd-book/chapter13-14Edwin Brady committed 6 years ago776abeb
  23. Port code examples for chapters 13 and 14 from TypeDD bookKamil Shakirov committed 6 years ago1704495
  24. various copyeditsMatthew Wilson committed 6 years ago6c11d7a
  25. Look under . for function name on lhsEdwin Brady committed 6 years ago1dd81ff
  26. Small fixes in readline ffi tutorialEdwin Brady committed 6 years ago0e98f63
  27. Some FFI documentationEdwin Brady committed 6 years ago1616879
  28. Initial documentation of back endsEdwin Brady committed 6 years ago10c7071
  29. Note on String in FFI docsEdwin Brady committed 6 years ago6023889
  30. Add missing bit of example in ffi docsEdwin Brady committed 6 years ago526c5f7
  31. More FFI doc typosEdwin Brady committed 6 years ago21a7b46
  32. Fix ffi textEdwin Brady committed 6 years agoea7e8c3
  33. Initial FFI documentationEdwin Brady committed 6 years ago2893e6f
  34. Basic support for struct in FFIEdwin Brady committed 6 years agoa5c356f
  35. Merge pull request #202 from glmxndr/patch-1Edwin Brady committed 6 years ago052c98d

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