Hello,
Here is probably a good paper to get people up to speed on dependent
types (ironically written by two contributors to this mailing list??):
okmij.org/ftp/papers/lightweight-static-capabilities.pdf
Vasili
___
Haskell-Cafe mailing list
Hi,
Am Freitag, den 15.07.2011, 13:38 +0100 schrieb Andy Gimblett:
The idea is to complement the index by module name which Cabal
creates and maintains. Sometimes you want to find things by
package. :-) (But note that unlike Cabal's index, docidx's isn't
automatically updated when you
The Animas fork is something I did, to fix up some annoyances in
Yampa. It's otherwise the same.
What are the annoyances you are talking about? Are you describing somewhere
why you needed to fork Yampa?
(Documentation maybe? I saw you added to Animas the documentation on the
functions that
Hi all,
I tried to install the Network.CGI module by inputting:
cabal install CGI
into the terminal but got this error:
Resolving dependencies...
Configuring cgi-3001.1.8.2...
Preprocessing library cgi-3001.1.8.2...
Building cgi-3001.1.8.2...
command line: cannot satisfy -package-id
On Sat, Jul 16, 2011 at 11:29 PM, william murphy
will.t.mur...@gmail.com wrote:
Hi all,
I tried to install the Network.CGI module by inputting:
cabal install CGI
into the terminal but got this error:
Resolving dependencies...
Configuring cgi-3001.1.8.2...
Preprocessing library