Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Comment

  • Loading branch information...
commit fb623a2d544b0cde0b20f8b509e7dee84364a3a6 1 parent 78ee1f1
Edwin Brady authored
Showing with 2 additions and 6 deletions.
  1. +1 −5 linlang.idr
  2. +1 −1  rawnet.idr
View
6 linlang.idr
@@ -1,8 +1,4 @@
-{-- Whether a variable must be used or not.
- Only primitives are allowed to say a variable is unused in its scope
- (e.g. reading from a file handle. --}
-
-data IsUsed = Used | Unused;
+{-- A language (unfinished) for describing linear operations --}
infixr 5 :->;
View
2  rawnet.idr
@@ -9,7 +9,7 @@ data SocketType = Stream | Datagram;
data Family = UNIX | INET;
data RW = Read | Write;
-data SockAddr = HostPort String Int | Port Int;
+data SockAddr = HostPort String Int | Port Int;
_prim_socket : Family -> SocketType -> IO SockID;
_prim_connect : SockID -> SockAddr -> IO Int;
Please sign in to comment.
Something went wrong with that request. Please try again.