Commit 7f9f2f0a authored by simonpj's avatar simonpj
Browse files

[project @ 2002-04-01 08:22:38 by simonpj]

Comments
parent d3601a1b
......@@ -43,12 +43,6 @@ i2w_s x = (x :: Int#)
%* *
%************************************************************************
%************************************************************************
%* *
\subsubsection[UniqSupply-type]{@UniqSupply@ type and operations}
%* *
%************************************************************************
A value of type @UniqSupply@ is unique, and it can
supply {\em one} distinct @Unique@. Also, from the supply, one can
also manufacture an arbitrary number of further @UniqueSupplies@,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment