Skip to content

/IdrisNet2

A proper network library for Idris, now that I know what I'm doing.
  1. Idris 86.9%
  2. C 12.9%
  3. Makefile 0.2%
Branch: master
Find File
Clone or download

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

Open in Desktop Download ZIP

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching Xcode...

If nothing happens, download Xcode and try again.

Launching Visual Studio...

If nothing happens, download the GitHub extension for Visual Studio and try again.

Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
examples
src
.gitignore Update the non-zero check for `bits`. Apr 4, 2015
LICENSE Initial commit Jan 4, 2014
Makefile Add more socket bindings, add package scaffolding Jan 5, 2014
README.md
network.ipkg include Network in ipkg Apr 1, 2015

README.md

IdrisNet2

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

You can’t perform that action at this time.