IdrisNet2 icon indicating copy to clipboard operation
IdrisNet2 copied to clipboard

verified publisher icon SimonJF
→

Metadata

A proper network library for Idris, now that I know what I'm doing.

Results 2 IdrisNet2 issues
Sort by recently updated
recently updated
newest added

Fails to compile on idris 1.0

1 comment

I was able to fix a small compiling error on my own: ```diff --- a/src/IdrisNet/PacketLang.idr +++ b/src/IdrisNet/PacketLang.idr @@ -163,7 +163,7 @@ syntax lstring [n] = (CHUNK (LString n)) syntax cstring...

NobbZ avatar NobbZ

Fixed some of the issues for idris 0.12.2

there are more issues one of them is probably that this is not `public export`: https://github.com/idris-lang/Idris-dev/blob/e0c893caf2e64498214f61e39c8ecd5bb33c0ed6/libs/contrib/Network/Socket.idr#L132-L133

archaeron avatar archaeron

← Metadata

57
Stars
8
Forks
Watchers

Owner

verified publisher icon SimonJF

Metadata

A proper network library for Idris, now that I know what I'm doing.

Back