Code

History

Commits on master to src35+
  1. Better compiling for newtypesEdwin Brady committed 6 years ago19426ec
  2. Fix lambda multiplicity checkEdwin Brady committed 6 years ago4947a99
  3. Don't fully normalise LHSEdwin Brady committed 6 years ago2a0e5a4
  4. Note which holes a constraint is blocking onEdwin Brady committed 6 years ago2f0c672
  5. Evaluate primitives (fromInteger etc)Edwin Brady committed 6 years ago819c9d7
  6. Some inlining changesEdwin Brady committed 6 years ago3d8d076
  7. Merge pull request #290 from LibreCybernetics/minor-unicode-identifier-fixesEdwin Brady committed 6 years agobe8b157
  8. Refactor ident to reuse in IDEMode, fixes out of sync bug.Fabián Heredia Montiel committed 6 years ago6ea8b47
  9. Merge branch 'master' into fix-chez-in-folder-with-spacesChristian Rasmussen committed 6 years ago2a3213d
  10. Add 'using' hints at the right timeEdwin Brady committed 6 years agod39c701
  11. Merge pull request #281 from ziman/fix-cast-double-intEdwin Brady committed 6 years ago71cae35
  12. Merge pull request #292 from ohad/fully-abstract-recordsEdwin Brady committed 6 years ago627d2c2
  13. Merge pull request #293 from gallais/casetreeEdwin Brady committed 6 years ago9aca77c
  14. Merge pull request #284 from abailly/integral-operationsEdwin Brady committed 6 years agoafa90c6
  15. Merge pull request #280 from gallais/commentsEdwin Brady committed 6 years ago8a0063a
  16. Erase the World, with careEdwin Brady committed 6 years agoac277ce
  17. Comment correctionEdwin Brady committed 6 years ago7cd9964
  18. Remove costly 'swapBlocks' in lambda lifterEdwin Brady committed 6 years agof6bbfb3
  19. Add a lambda lifterEdwin Brady committed 6 years ago1734841
  20. Properly erase constructor argumentsEdwin Brady committed 6 years ago8fccd5f
  21. Move outermost lambdas to top levelEdwin Brady committed 6 years ago44c01f8
  22. Allow spaces in file path for generated Chez programsChristian Rasmussen committed 7 years ago4d2b270
  23. bugfix: actually include keyword "default" for default implict record type argumentsOhad Kammar committed 6 years ago5af82be
  24. Add support for default implicit arguments in record typesOhad Kammar committed 6 years ago3043ac0
  25. Merge branch 'master' of github.com:edwinb/Idris2 into fully-abstract-recordsOhad Kammar committed 6 years agof777531
  26. Add commits back to parser, simplify case-split for (auto)implict arguments in recordsOhad Kammar committed 6 years ago1fcac7a
  27. Bugfix: In `mapPTerm`, correctly handle the parameter list in a `PRecord`Ohad Kammar committed 6 years agoc5070eb
  28. Fix buffer allocation errorEdwin Brady committed 6 years ago884d4ad
  29. Merge branch 'master' into casetreeGuillaume Allais committed 6 years ago2e00025
  30. [ cleanup ] removing a lot of useless polymorphismGuillaume Allais committed 6 years ago1b74c5f
  31. Need 'begin' around putstr primitiveEdwin Brady committed 6 years ago9bc72a7
  32. Ignoring the World is inadvisableEdwin Brady committed 6 years ago4098078
  33. Merge branch 'master' of github.com:edwinb/Idris2 into fully-abstract-recordsOhad Kammar committed 6 years ago73d2e7b
  34. Add support for record auto implicit parameters in parserOhad Kammar committed 6 years ago43634e3
  35. Bugfix: differentiate between implicit and explicit arguments in the return type of the constructorOhad Kammar committed 6 years agocef456f

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