[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Johan Brinch <zerrez@d...> |
| Subject: | Documentation for the Nat module? |
Does anyone know of commented / documented version of the low-level Nat signature (used in Cryptokit)? I'm finding it a bit hard to read the usage of each function from just the types. -- Johan Brinch, Dept. of Computer Science, University of Copenhagen