Code

History

Commits on master to src/Core35+
  1. Reorganise TTC to make code generation fasterEdwin Brady committed 6 years ago02ce7b5
  2. Do compiling/inlining per moduleEdwin Brady committed 6 years ago87c54ca
  3. Match on names for typecaseEdwin Brady committed 6 years ago18b6449
  4. Add idris_crash functionEdwin Brady committed 6 years ago9a0608b
  5. Hack for optimising some enumerationsEdwin Brady committed 6 years ago9328579
  6. Add transformation rules for top level methodsEdwin Brady committed 6 years agob617cae
  7. Avoid unification in proof search if not neededEdwin Brady committed 6 years ago11cbc30
  8. Fix some details of transformsEdwin Brady committed 6 years ago3d59816
  9. Apply transformation rulesEdwin Brady committed 6 years ago0dc486a
  10. Fix laziness bookkeeping in unificationEdwin Brady committed 6 years ago0c1e428
  11. Check and add transform rulesEdwin Brady committed 6 years ago449f29b
  12. Remove chicken back endEdwin Brady committed 6 years ago15c6a0d
  13. Improve partial evaluationEdwin Brady committed 6 years ago52db302
  14. Merge pull request #329 from LibreCybernetics/refactor-identifier-lexerEdwin Brady committed 6 years agoafa9352
  15. Merge pull request #353 from ska80/fix-cast-char-stringEdwin Brady committed 6 years agoa7e0f63
  16. Merge pull request #317 from abdelq/gambitEdwin Brady committed 6 years ago833168f
  17. Refactor identChar into the identLexer to have that definition in one placeFabián Heredia Montiel committed 6 years ago20ed4a3
  18. Complete basic partial evaluation mechanismEdwin Brady committed 6 years ago1fe78c7
  19. Calculate which arguments are inferrable in a typeEdwin Brady committed 6 years agob7e3955
  20. More progress on partial evaluationEdwin Brady committed 6 years agoa117a63
  21. Fix casting Char to StringKamil Shakirov committed 6 years ago6c27a43
  22. Progress on specialisationEdwin Brady committed 6 years agoa3c2163
  23. Preparation for the Gambit Scheme backendAbdelhakim Qbaich committed 6 years ago1bbf662
  24. Cache locals after case inspection in evaluatorEdwin Brady committed 6 years ago45d02a1
  25. Add some more IRs for back ends to useEdwin Brady committed 6 years ago4a91375
  26. Change argument unification orderEdwin Brady committed 6 years ago6fcf861
  27. Merge branch 'remove-RigCount' of https://github.com/andrevidela/Idris2 into andrevidela-remove-RigCountEdwin Brady committed 6 years agobdefd1a
  28. Fix for multiplicities in holesEdwin Brady committed 6 years ago2362e40
  29. Merge branch 'master' into recordsEdwin Brady committed 6 years ago1262ca2
  30. Merge pull request #254 from jfdm/literate-modesEdwin Brady committed 6 years agob9907fb
  31. Implement occurs check properly (finally!)Edwin Brady committed 6 years agoff86f6f
  32. Don't fully normalise LHSEdwin Brady committed 6 years ago2a0e5a4
  33. Note which holes a constraint is blocking onEdwin Brady committed 6 years ago2f0c672
  34. Fix printing namespaced dotted projections.Matus Tejiscak committed 6 years ago8d1a813
  35. Fix printing qualified record field names.Matus Tejiscak committed 6 years agobd1a9e2

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