Code

History

Commits on master to README.md17
  1. Added a travis badge because it's good to have badges...Jan de Muijnck-Hughes committed 6 years ago9ad7efd
  2. Better ambiguity resolutionEdwin Brady committed 6 years ago736699c
  3. readme typoMatthew Wilson committed 6 years agoc050539
  4. Fix README formattingEdwin Brady committed 6 years agof1db213
  5. Update READMEEdwin Brady committed 6 years agof2f0794
  6. Don't generalise to RigW on let typesEdwin Brady committed 6 years ago4ccddba
  7. Add idiom bracketsEdwin Brady committed 6 years ago3cb5741
  8. Use HTTPS instead of HTTPMilan Kral committed 6 years agoeb7be5e
  9. Update INSTALL/READMEEdwin Brady committed 7 years ago9813b39
  10. add talk video linkMatthew Wilson committed 7 years ago7fd70d5
  11. Add note about needing Idris master to READMEEdwin Brady committed 7 years agoec4d498
  12. Numeric range syntaxEdwin Brady committed 7 years ago39ee4ad
  13. Update README.mdEdwin Brady committed 7 years ago8a1a4ad
  14. Add more stream functions to Data.StreamEdwin Brady committed 7 years ago2967a19
  15. Some performance improvementsEdwin Brady committed 7 years agoc6d7c6c
  16. Calculate parameter positions in typesEdwin Brady committed 7 years agoe68b913
  17. Add some notesEdwin Brady committed 7 years ago18f269b

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