Code

History

Commits on master to tests35+
  1. Fix lambda multiplicity checkEdwin Brady committed 6 years ago4947a99
  2. Evaluate primitives (fromInteger etc)Edwin Brady committed 6 years ago819c9d7
  3. Merge branch 'master' into fix-chez-in-folder-with-spacesChristian Rasmussen committed 6 years ago2a3213d
  4. Shuffle some tests aroundEdwin Brady committed 6 years ago2b6000e
  5. Regression test for using named implementationsEdwin Brady committed 6 years ago2ad1621
  6. Merge pull request #281 from ziman/fix-cast-double-intEdwin Brady committed 6 years ago71cae35
  7. Merge pull request #292 from ohad/fully-abstract-recordsEdwin Brady committed 6 years ago627d2c2
  8. Merge pull request #284 from abailly/integral-operationsEdwin Brady committed 6 years agoafa90c6
  9. Merge pull request #280 from gallais/commentsEdwin Brady committed 6 years ago8a0063a
  10. Add a lambda lifterEdwin Brady committed 6 years ago1734841
  11. Allow spaces in file path for generated Chez programsChristian Rasmussen committed 7 years ago4d2b270
  12. Add tests for default implict record type argumentsOhad Kammar committed 6 years ago767d9dc
  13. Add tests for fully abstract records in Idris and YaffleOhad Kammar committed 6 years agoaa45102
  14. use quotient on scheme backendsArnaud Bailly committed 6 years ago5544919
  15. Disable tests relying on cast-string-int.Matus Tejiscak committed 6 years agob5689e5
  16. Add reg016 to tests.Matus Tejiscak committed 6 years ago1112f01
  17. Add division tests.Matus Tejiscak committed 6 years ago4827d04
  18. Update the expectation file.Matus Tejiscak committed 6 years agoc7fe4f1
  19. Add a test.Matus Tejiscak committed 6 years agob20ae8d
  20. [ fix #279 ] comment delimiters with more than one dashGuillaume Allais committed 6 years agof10edd5
  21. Occasional performance boostEdwin Brady committed 6 years ago0ed9f6c
  22. Change order of argument search in auto implicitsEdwin Brady committed 6 years ago841c3f2
  23. Allow flagging types as externally definedEdwin Brady committed 6 years ago69a7640
  24. Fix where under multiple casesEdwin Brady committed 6 years ago0daece1
  25. Merge pull request #271 from ohad/bugfix-269Edwin Brady committed 6 years ago1c4b558
  26. Merge pull request #268 from gallais/interactive-testEdwin Brady committed 6 years ago3b07afc
  27. Bugfix #269Ohad Kammar committed 6 years agofbf82ea
  28. [ more ] show the diff in case of mismatchGuillaume Allais committed 6 years ago6e2ccb0
  29. [ new ] interactive test runnerGuillaume Allais committed 6 years ago5ae5448
  30. [ fix ] resugar to drop name prefixesGuillaume Allais committed 6 years ago8cb17de
  31. [ new ] resugar Prelude's natural numbersGuillaume Allais committed 6 years agoe1aea9f
  32. [ fix ] properly nesting multiline commentsGuillaume Allais committed 6 years ago4cbb02b
  33. Merge pull request #237 from petithug/literate-masterEdwin Brady committed 6 years agof7161cc
  34. Better disambiguation of pairsEdwin Brady committed 6 years agob3dc643
  35. Literate programmingMarc Petit-Huguenin committed 7 years ago7ea39af

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