Code

History

Commits on master to docs/source/tutorial6
  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. Wording.Matus Tejiscak committed 6 years ago682ebbf
  4. Update typesfuns.rst.Matus Tejiscak committed 6 years agod4ac7b6
  5. Merge branch 'master' of https://github.com/jeetu7/Idris2 into jeetu7-masterEdwin Brady committed 6 years ago9930b64
  6. 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