Code

History

Commits on master to src/Core35+
  1. Don't fully normalise LHSEdwin Brady committed 6 years ago2a0e5a4
  2. Note which holes a constraint is blocking onEdwin Brady committed 6 years ago2f0c672
  3. Refactor ident to reuse in IDEMode, fixes out of sync bug.Fabián Heredia Montiel committed 6 years ago6ea8b47
  4. Merge pull request #293 from gallais/casetreeEdwin Brady committed 6 years ago9aca77c
  5. Erase the World, with careEdwin Brady committed 6 years agoac277ce
  6. Add a lambda lifterEdwin Brady committed 6 years ago1734841
  7. Fix buffer allocation errorEdwin Brady committed 6 years ago884d4ad
  8. Merge branch 'master' into casetreeGuillaume Allais committed 6 years ago2e00025
  9. [ cleanup ] removing a lot of useless polymorphismGuillaume Allais committed 6 years ago1b74c5f
  10. Another small inlining improvementEdwin Brady committed 6 years agob665e6a
  11. Make inlining faster with One Weird TrickEdwin Brady committed 6 years ago048bce2
  12. [ refactor ] boolean expressionGuillaume Allais committed 6 years ago8eabc27
  13. [ refactor ] remove redundant check isLetGuillaume Allais committed 6 years agoeabb23f
  14. [ cleanup ] use reverseOntoGuillaume Allais committed 6 years ago9152cad
  15. [ refactor ] following discussion with @zimanGuillaume Allais committed 6 years ago3ae4267
  16. [ doc ] for the case tree constructorsGuillaume Allais committed 6 years agob60fdf2
  17. Use explicit named representation for compilingEdwin Brady committed 6 years agod5bfb8f
  18. Another small improvement in code generationEdwin Brady committed 6 years ago8436197
  19. Erasure correctnessEdwin Brady committed 6 years ago849a1da
  20. Occasional performance boostEdwin Brady committed 6 years ago0ed9f6c
  21. Change order of argument search in auto implicitsEdwin Brady committed 6 years ago841c3f2
  22. Allow flagging types as externally definedEdwin Brady committed 6 years ago69a7640
  23. Fix where under multiple casesEdwin Brady committed 6 years ago0daece1
  24. Local definitions need to be namespacedEdwin Brady committed 6 years ago6e02ffc
  25. newtype optimisationEdwin Brady committed 6 years ago471a472
  26. Complete specialised definitionsEdwin Brady committed 6 years ago1b859fa
  27. Syntax for flagging arguments to specialiseEdwin Brady committed 6 years ago2a81bd9
  28. Add --dumpcases optionEdwin Brady committed 6 years ago5950371
  29. Don't clobber CWD in --exec.Matus Tejiscak committed 6 years ago6616937
  30. Report an error if ambiguities go too deepEdwin Brady committed 6 years agob417413
  31. Allow setting logging mid termEdwin Brady committed 6 years ago7ff1e62
  32. Prioritise resolution of delayed elaboratorsEdwin Brady committed 6 years ago6beb6aa
  33. No need to store names with locals in TTCEdwin Brady committed 6 years ago725e5ac
  34. Merge pull request #205 from abailly/syntax-highlightEdwin Brady committed 6 years agobce7a5e
  35. Rabbit holeEdwin Brady committed 6 years agoed5b53d

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