Code

History

Commits on master to tests/idris2/basic01712
  1. [ fix ] resugar to drop name prefixesGuillaume Allais committed 6 years ago8cb17de
  2. Rabbit holeEdwin Brady committed 6 years agoed5b53d
  3. Add prettyNameEdwin Brady committed 6 years ago59b66d6
  4. Fix order of metavariable substitutionEdwin Brady committed 6 years ago9229cdb
  5. Add getChar, putChar and putCharLn to preludeKamil Shakirov committed 6 years agoc8c0c5f
  6. Type of generated top level methodsEdwin Brady committed 6 years ago03bdc31
  7. Unification tweak for getting lambda typesEdwin Brady committed 6 years ago413d09d
  8. Auto implicit search fixEdwin Brady committed 7 years agobb55ac5
  9. Add '--no-banner' optionKamil Shakirov committed 7 years ago0722b96
  10. remove version number from banner at REPL startupArnaud Bailly committed 7 years ago558776c
  11. Delay case elaborationEdwin Brady committed 7 years agoe526bad
  12. Throw error if case type is not inferredEdwin Brady committed 7 years agoa65d1ef

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