Code

History

Commits on master1275
  1. add plan9 stuffSigrid Haflínudóttir committed 6 years ago17385bf
  2. Merge pull request #390 from ska80/fix-idris2sh-buildEdwin Brady committed 6 years agoe2ef9e0
  3. Update .gitignoreKamil Shakirov committed 6 years ago8a61f97
  4. Fix building the latest self-hosted Idris 2Kamil Shakirov committed 6 years ago27006bc
  5. Update travis scriptEdwin Brady committed 6 years agofa92951
  6. Rename everything idris2boot, increment versionEdwin Brady committed 6 years ago24fed4f
  7. Merge pull request #389 from andylokandy/gambitEdwin Brady committed 6 years agod2c8422
  8. Fix gambit codegenandylokandy committed 6 years ago2fa61b8
  9. Update CONTRIBUTORSEdwin Brady committed 6 years agoe611161
  10. Add blodwen-os to racket supportEdwin Brady committed 6 years ago149e6fb
  11. Merge pull request #367 from cypheon/bugfix/ttc-bigint-unmarshallingEdwin Brady committed 6 years agoc0b7c6a
  12. Update Buffer+File librariesEdwin Brady committed 6 years agoc197c0f
  13. Don't collapse empty lines in 'lines'Edwin Brady committed 6 years agoba9f14a
  14. Calculate OS from scheme codeEdwin Brady committed 6 years ago8c9eec1
  15. Use realpath in chez startup scriptEdwin Brady committed 6 years ago0ef2885
  16. Faster search for modules to build in packagesEdwin Brady committed 6 years agoea84eab
  17. Fix codegen in Chez/RacketEdwin Brady committed 6 years agoc7ef449
  18. Switch buffers back to scheme FFIEdwin Brady committed 6 years agoa130952
  19. Add foldlMEdwin Brady committed 6 years ago463f1b3
  20. Add Show for EitherEdwin Brady committed 6 years ago1acbf1b
  21. Add missing export modifier to ExitCodeEdwin Brady committed 6 years agoa302be3
  22. Update ipkgsEdwin Brady committed 6 years ago3d56ec6
  23. Remove extra Show TokenData definitionEdwin Brady committed 6 years agof0a87e8
  24. Reorganise optimisation options for CEdwin Brady committed 6 years agoc7f893f
  25. Fix check in findOffsetEdwin Brady committed 6 years ago6ef86bc
  26. Update docs; options now in config.mkEdwin Brady committed 6 years ago7259743
  27. Merge pull request #370 from ska80/fix-makefilesEdwin Brady committed 6 years ago4c35210
  28. Switch to List Char for the lexerEdwin Brady committed 6 years ago79d52c5
  29. Check bounds on substringEdwin Brady committed 6 years ago560449e
  30. contrib shouldn't be in the default search pathEdwin Brady committed 6 years ago19bcefb
  31. Add chmod to System.FileEdwin Brady committed 6 years agodebe5f6
  32. More system functionsEdwin Brady committed 6 years ago263d5fa
  33. Add some Strings functionsEdwin Brady committed 6 years ago34802b9
  34. [ test ] add test for defaulting peculiarity (#376)G. Allais committed 6 years ago306aea3
  35. Add octal literalsEdwin Brady committed 6 years ago6f4a36e

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