Code

History

Commits on master to docs/source12
  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. Refactored the docs directory for latest sphinx_rtd_theme.Jeetu committed 6 years ago00fc9a6

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