Code

History

Commits on master to Makefile35+
  1. add plan9 stuffSigrid Haflínudóttir committed 6 years ago17385bf
  2. Rename everything idris2boot, increment versionEdwin Brady committed 6 years ago24fed4f
  3. Refactor makefiles to use some common optionsKamil Shakirov committed 6 years ago2ad471a
  4. Merge branch 'master' into fix-makefilesKamil Shakirov committed 6 years agoa474396
  5. Fix building shared libraries with correct extensionsKamil Shakirov committed 6 years ago1c8036d
  6. [ fix ] build by installing support before tests (#369)G. Allais committed 6 years agof72f91c
  7. Make a start on C support codeEdwin Brady committed 6 years ago6681131
  8. Remove chicken back endEdwin Brady committed 6 years ago15c6a0d
  9. Preparation for the Gambit Scheme backendAbdelhakim Qbaich committed 6 years ago1bbf662
  10. Fix builds on *BSDBen Davies committed 6 years ago93871c5
  11. Set version number to 0.1.0Edwin Brady committed 6 years ago7f46598
  12. Merge pull request #215 from ska80/fix-bsd-sedEdwin Brady committed 6 years ago28f4796
  13. Tests need to know where to find idris_net.soEdwin Brady committed 6 years ago2eb9a52
  14. Fix indentationKamil Shakirov committed 6 years ago2d1f35a
  15. Make BSD 'sed' happyKamil Shakirov committed 6 years ago0e01c2a
  16. Need the network libs in the path for testsEdwin Brady committed 6 years agoedc3e2a
  17. Reorganise build system to go via generating CEdwin Brady committed 6 years ago2c2acdc
  18. Improve 'idris2c' makefile targetKamil Shakirov committed 6 years agob38f6f9
  19. Add some machinery to generate CEdwin Brady committed 6 years agoda675b3
  20. Only use version tag in displayEdwin Brady committed 6 years ago0cb446d
  21. Create a contrib directory in the standard libraryOhad Kammar committed 6 years agobe90749
  22. allow overriding racket/chicken paths through environment variableslodi committed 7 years ago76ff99d
  23. Add optional version tag when build in between releasesKamil Shakirov committed 7 years agob87fd0b
  24. Support for buffers and file erros in Racket CGEdwin Brady committed 7 years agobf69b89
  25. fix incorrect variable in makefile preventing installArnaud Bailly committed 7 years agoc80bfc0
  26. Merge branch 'master' of https://github.com/edwinb/Idris2 into add-version-commandArnaud Bailly committed 7 years ago2f8daa7
  27. Merge branch 'master' into add-version-commandArnaud Bailly committed 7 years ago9c1f8b6
  28. Add --libdir optionEdwin Brady committed 7 years ago65b3ddb
  29. Merge branch 'master' into add-version-commandArnaud Bailly committed 7 years ago2950581
  30. Put idris version number in package install pathEdwin Brady committed 7 years ago4129305
  31. Put built ttcs in build/ttc, rather than buildEdwin Brady committed 7 years ago65db4fb
  32. expose version components in MakefileArnaud Bailly committed 7 years ago09f7118
  33. provide Version command in ide-modeArnaud Bailly committed 7 years ago643fc9c
  34. expose current Idris2 version as a proper typeArnaud Bailly committed 7 years ago4646bb0
  35. Merge branch 'master' of https://github.com/edwinb/Idris2 into network-libArnaud Bailly committed 7 years ago4d3e190

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