Code

History

Commits on master1049
  1. Merge remote-tracking branch 'upstream'Sigrid Haflínudóttir committed 6 years ago3acbe54
  2. Better compiling for newtypesEdwin Brady committed 6 years ago19426ec
  3. Fix lambda multiplicity checkEdwin Brady committed 6 years ago4947a99
  4. Don't fully normalise LHSEdwin Brady committed 6 years ago2a0e5a4
  5. realloc slightly better than malloc+freeEdwin Brady committed 6 years ago838e5cb
  6. Run time system improvementsEdwin Brady committed 6 years ago0688728
  7. Note which holes a constraint is blocking onEdwin Brady committed 6 years ago2f0c672
  8. Evaluate primitives (fromInteger etc)Edwin Brady committed 6 years ago819c9d7
  9. Merge remote-tracking branch 'upstream'Sigrid Haflínudóttir committed 6 years ago791a118
  10. Some inlining changesEdwin Brady committed 6 years ago3d8d076
  11. Merge pull request #290 from LibreCybernetics/minor-unicode-identifier-fixesEdwin Brady committed 6 years agobe8b157
  12. Merge pull request #299 from chrrasmussen/fix-chez-in-folder-with-spacesEdwin Brady committed 6 years ago1a41a26
  13. Refactor ident to reuse in IDEMode, fixes out of sync bug.Fabián Heredia Montiel committed 6 years ago6ea8b47
  14. Merge branch 'master' into fix-chez-in-folder-with-spacesChristian Rasmussen committed 6 years ago2a3213d
  15. Shuffle some tests aroundEdwin Brady committed 6 years ago2b6000e
  16. Regression test for using named implementationsEdwin Brady committed 6 years ago2ad1621
  17. Add 'using' hints at the right timeEdwin Brady committed 6 years agod39c701
  18. Merge pull request #281 from ziman/fix-cast-double-intEdwin Brady committed 6 years ago71cae35
  19. Merge pull request #292 from ohad/fully-abstract-recordsEdwin Brady committed 6 years ago627d2c2
  20. Merge pull request #293 from gallais/casetreeEdwin Brady committed 6 years ago9aca77c
  21. Merge pull request #287 from Porges/patch-1Edwin Brady committed 6 years ago60c4f8e
  22. Merge pull request #284 from abailly/integral-operationsEdwin Brady committed 6 years agoafa90c6
  23. Merge pull request #280 from gallais/commentsEdwin Brady committed 6 years ago8a0063a
  24. Merge branch 'jeetu7-master'Edwin Brady committed 6 years ago69e774b
  25. Merge branch 'master' of https://github.com/jeetu7/Idris2 into jeetu7-masterEdwin Brady committed 6 years ago9930b64
  26. Erase the World, with careEdwin Brady committed 6 years agoac277ce
  27. Merge pull request #282 from abailly/network-binaryEdwin Brady committed 6 years ago5ea11cf
  28. Merge pull request #274 from ska80/tutorial/typosEdwin Brady committed 6 years agod3d5e22
  29. Merge pull request #273 from jfdm/badgesEdwin Brady committed 6 years ago4b65d8d
  30. Comment correctionEdwin Brady committed 6 years ago7cd9964
  31. Remove costly 'swapBlocks' in lambda lifterEdwin Brady committed 6 years agof6bbfb3
  32. Add a lambda lifterEdwin Brady committed 6 years ago1734841
  33. Properly erase constructor argumentsEdwin Brady committed 6 years ago8fccd5f
  34. Move outermost lambdas to top levelEdwin Brady committed 6 years ago44c01f8
  35. Allow spaces in file path for generated Chez programsChristian Rasmussen committed 7 years ago4d2b270

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