Code

History

Commits on master to src/Idris35+
  1. Some inlining changesEdwin Brady committed 6 years ago3d8d076
  2. Refactor ident to reuse in IDEMode, fixes out of sync bug.Fabián Heredia Montiel committed 6 years ago6ea8b47
  3. Add 'using' hints at the right timeEdwin Brady committed 6 years agod39c701
  4. Merge pull request #292 from ohad/fully-abstract-recordsEdwin Brady committed 6 years ago627d2c2
  5. Add a lambda lifterEdwin Brady committed 6 years ago1734841
  6. bugfix: actually include keyword "default" for default implict record type argumentsOhad Kammar committed 6 years ago5af82be
  7. Add support for default implicit arguments in record typesOhad Kammar committed 6 years ago3043ac0
  8. Add commits back to parser, simplify case-split for (auto)implict arguments in recordsOhad Kammar committed 6 years ago1fcac7a
  9. Bugfix: In `mapPTerm`, correctly handle the parameter list in a `PRecord`Ohad Kammar committed 6 years agoc5070eb
  10. Add support for record auto implicit parameters in parserOhad Kammar committed 6 years ago43634e3
  11. Add syntax for implicit arguments to recordsOhad Kammar committed 6 years agoe6be2af
  12. Refactor to allow supporting implicit and rit annotations on records (without adding syntax for them)Ohad Kammar committed 6 years ago95da5a8
  13. Merge branch 'master' of github.com:edwinb/Idris2 into fully-abstract-recordsOhad Kammar committed 6 years ago0254ff1
  14. Allow flagging types as externally definedEdwin Brady committed 6 years ago69a7640
  15. Local definitions need to be namespacedEdwin Brady committed 6 years ago6e02ffc
  16. Erase %World for the purpose of newtypesEdwin Brady committed 6 years ago211fc35
  17. Merge branch 'master' of github.com:edwinb/Idris2 into fully-abstract-recordsOhad Kammar committed 6 years ago74fd12a
  18. Remove superfluous lineEdwin Brady committed 6 years ago620172b
  19. Syntax for flagging arguments to specialiseEdwin Brady committed 6 years ago2a81bd9
  20. Merge pull request #271 from ohad/bugfix-269Edwin Brady committed 6 years ago1c4b558
  21. Merge branch 'bugfix-269' into fully-abstract-recordsOhad Kammar committed 6 years ago5589ed6
  22. minor: Fix whitespaceOhad Kammar committed 6 years agof7dca2b
  23. Merge branch 'bugfix-269' into fully-abstract-recordsOhad Kammar committed 6 years ago53819ab
  24. Replace redundant `<-` notation with `let`Ohad Kammar committed 6 years agob44619e
  25. Bugfix #269Ohad Kammar committed 6 years agofbf82ea
  26. Make parsing of record declaration parameters separate from interfacesOhad Kammar committed 6 years agoa61911e
  27. [ fix ] resugar to drop name prefixesGuillaume Allais committed 6 years ago8cb17de
  28. [ new ] resugar Prelude's natural numbersGuillaume Allais committed 6 years agoe1aea9f
  29. Add --dumpcases optionEdwin Brady committed 6 years ago5950371
  30. Prioritise List :: at the REPLEdwin Brady committed 6 years ago0cbc3b8
  31. --build and --clean now looks at executable fieldEdwin Brady committed 6 years agoe027e0c
  32. Merge pull request #237 from petithug/literate-masterEdwin Brady committed 6 years agof7161cc
  33. Merge pull request #251 from ska80/help-hintEdwin Brady committed 6 years ago68b4951
  34. Merge pull request #244 from ziman/lambda-caseEdwin Brady committed 6 years ago42e5668
  35. Better disambiguation of pairsEdwin Brady committed 6 years agob3dc643

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