idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-11 06:14:41 +03:00
Code Issues Projects Releases Wiki Activity
ae7bdaa7d3
Idris2/libs/network
History
Edwin Brady 9eba9113dd Update racket bootstrap scripts 
Need to pass the LD_LIBRARY_PATH all the way through or racket doesn't
know where to look. I really don't know why it doesn't work to just set
it at the top level in the script, but it didn't (on my Mac, at least).
2020-05-20 00:03:39 +01:00
..
Network Add libraries 2020-05-18 14:00:08 +01:00
.gitignore Update .gitignore files 2020-05-19 17:49:21 +06:00
Echo.idr Add libraries 2020-05-18 14:00:08 +01:00
expected Add libraries 2020-05-18 14:00:08 +01:00
idris_net.c Add libraries 2020-05-18 14:00:08 +01:00
idris_net.h Add libraries 2020-05-18 14:00:08 +01:00
Makefile Update racket bootstrap scripts 2020-05-20 00:03:39 +01:00
network.ipkg Add libraries 2020-05-18 14:00:08 +01:00
test.c Make network test build on windows 2020-05-19 15:46:28 +02:00