Cafeing
  Home FAQ Contact Sign in
 
Advanced search
MATCHING GROUPS



more...
POPULAR GROUPS

more...

found 359 articles for 0.521 sec
> Thanks Stephen--that was related to my original question, about using HP > with Cygwin. The answer seems to be No!--you must use MSYS (for real > work). The short version: - Cygwin provides commandline tools, compilers and libraries - MSYS provides commandline tools for the MinGW compilers and libraries You can use the commandline tools from either Cygwin or MSYS, but you need to compile     

Group: fa.haskell · Group Profile · Search for Cafeing in fa.haskell
Author: Claus Reinke
Date: Jun 8, 2010 03:58

I saw on the Reddit page that people urged caution about the costs of hosting haskell.org commercially. This was a jest wasn't it? ( The cost of webhosting is absurdly cheap, by almost any standards.) I would be very happy to help out here but time (where the true costs lie) is my main concern. If it's still a problem in the new year I will look into it. Seriously--this is unnecessary and
Show full article (0.87Kb) · Show article thread
Sorry, I should have said. I have installed Haskell Platform in the default place: C:\Program Files\Haskell Platform\2010.1.0.0 Chris -----Original Message----- From: Ivan Lazar Miljenovic [mailto:ivan.miljenovic@gmail.com] Sent: 07 June 2010 23:35 To: Chris Dornan Cc: haskell-cafe@haskell.org Subject: Re: [Haskell-cafe] Haddock on HP failing "Chris Dornan" <chris@chrisdornan.com     

Group: fa.haskell · Group Profile · Search for Cafeing in fa.haskell
Author: Chris Dornan
Date: Jun 8, 2010 00:52

On 07/06/2010, at 3:05 AM, Michael Schuerig wrote: I have a hunch that the real restrictions of this kind of software are not concerned with fixed memory, iterations, whatever, but rather with guaranteed bounds. If that is indeed the case, how feasible would it be to prove relevant properties for systems programmed in Haskell? For full Haskell that includes laziness and general
Show full article (1.41Kb) · Show article thread
>> In the new type, the parameter 'a' is misleading. It has no connection to >> the >> 'a's on the right of the equals sign. You might as well write: >> >> type CB = forall a. a -> a -> a On Tue, Jun 1, 2010 at 12:40 PM, Cory Knapp <cory.m.knapp@gmail.com> wrote: > Ah! That makes sense. Which raises a new question: Is this type "too > general"? Are there functions which are semantically non     

Group: fa.haskell · Group Profile · Search for Cafeing in fa.haskell
Author: Chris Dornan
Date: Jun 7, 2010 23:44

2010/6/7 Benjamin L. Russell <DekuDekuplex@yahoo.com>: Ozgur Akgun <ozgurakgun@gmail.com> writes: http://downforeveryoneorjustme.com/www.haskell.org-- Ozgur Akgun Same problem here since two days ago. Apparently, the server just went back up.  Anybody know what kept the server down for so long? http://www.reddit.com/r/haskell/comments/cbkkb/wwwhaskellorg_wiki_mailing_list_server_has_been/
Show full article (0.87Kb) · Show article thread
On Sat, Jun 5, 2010 at 8:10 PM, Thomas Hartman <tphyahoo@gmail.com> wrote: > Here's two implementations of break, a snappy one from the prelude, > and a slow stupid stateful one. > > They are quickchecked to be identical. > > Is there a way to prove they are identical mathematically? What are > the techniques involved? Or to transform one to the other? > If you want a proof assistant     

Group: fa.haskell · Group Profile · Search for Cafeing in fa.haskell
Author: Ben Lippmeier
Date: Jun 7, 2010 21:13

On 6 June 2010 00:37, Maciej Piechotka <uzytkownik2@gmail.com> wrote: PDF is not just simplified, compressed encoding of PostScript. Or at least - LaTeX have some features PDF-only. For example PDF can have hyper-links (both to local and external content). It can be scripted in JavaScript (don't ask me why) and can have form (OK. So I can fill them and print probably). The form
Show full article (1.62Kb)
On Sat, Jun 5, 2010 at 3:28 AM, Bernie Pope <florbitous@gmail.com> wrote: > Hi, > > I'm looking for a way to set a GHC compile option on a specific module > (not every module in the program) but only for a specific version of > GHC. Ideally within the confines of cabal, and in a portable way. > > GHC provides the OPTIONS_GHC pragma, but it does not appear to provide > a way for the pragma to     

Group: fa.haskell · Group Profile · Search for Cafeing in fa.haskell
Author: Ryan Ingram
Date: Jun 7, 2010 20:23

Show full article (1.67Kb)
    

Group: fa.haskell · Group Profile · Search for Cafeing in fa.haskell
Author: Vo Minh Thu
Date: Jun 7, 2010 20:04

Show full article (0.58Kb) · Show article thread
    

Group: fa.haskell · Group Profile · Search for Cafeing in fa.haskell
Author: Jason Dagit
Date: Jun 7, 2010 19:26

Show full article (0.65Kb) · Show article thread
    

Group: fa.haskell · Group Profile · Search for Cafeing in fa.haskell
Author: Ivan Miljenovic
Date: Jun 7, 2010 19:00

Show full article (1.15Kb)
    

Group: fa.haskell · Group Profile · Search for Cafeing in fa.haskell
Author: Bill Atkins
Date: Jun 7, 2010 18:34

Show full article (0.39Kb) · Show article thread
    

Group: fa.haskell · Group Profile · Search for Cafeing in fa.haskell
Author: Antoine Latter
Date: Jun 7, 2010 18:10

Show full article (1.35Kb) · Show article thread
1 · 2 · 3 · 4 · 5 · 6 · 7 · 8 · 9 · next