(Prettier formatting available at: https://gist.github.com/3761252)
Many of us use the OverloadedStrings language extension on a regular
basis. It provides the ability to keep the ease-of-use of string
literal syntax, while getting the performance and correctness
advantages of specialized datatype
Vasili I. Galchin wrote:
> Hello Haskellers,
>
> I installed darcs on a Windows 7 machine. A darcs folder was created
> under "Program Files(x86)" folder. However, when I pull up "Program..." on
> the left side, darcs not there for me to run it. Why? Is darcs run only
> from the CLI?
Yes,
Hello Haskellers,
I installed darcs on a Windows 7 machine. A darcs folder was created
under "Program Files(x86)" folder. However, when I pull up "Program..." on
the left side, darcs not there for me to run it. Why? Is darcs run only
from the CLI?
Regard,
Vasili
___
Hello,
In case anyone is wondering this does not compile on vanilla Mac OS 10.6
because XCode 3.2 doesn't support C++11. I believe that XCode 4.2 does support
it however I've not yet paid Apple the $100 they want before I can download it
for 10.6. Macports has more recent versions of GCC howe
It's a wiki. I went ahead and fixed it, this time.
To paraphrase Bryan O'Sullivan: Whenever you think "why hasn't anyone done
...", or "why doesn't somebody fix ...", you should ask yourself "Why don't
*I* do ..." or "Why don't *I* fix ...". That's how open source works.
(Not trying to be offens
Dear all,
Heinrich is on holiday next week, thus I'll manage it this time:
Once again, it's time for our monthly get-together. Functional
programmers from Munich and other cities will meet on Thu, 27th of
September, at 19h30 at Cafe Puck in Munich.
If you plan to join, please go to
http://www.h
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Yes, of course! Stupid me, thanks for pointing that out Daniel.
Now it works as expected.
Florian
On 09/22/2012 12:55 AM, Daniel Peebles wrote:
> Shouldn't you have
>
> IxZero :: Ix (CtxCons ty ctx) ty
>
> instead of
>
> IxZero :: Ix ctx ty
>
>
This doesn't seem to be up-to-date. It announces GHC 7.4 released (but
7.6.1 was released a couple of weeks ago).
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
> do you have any references for the extension of lambda-encoding of
> data into dependently typed systems?
> Is there a way out of this quagmire? Or are we stuck defining actual
> datatypes if we want dependent types?
Although not directly answering your question, the following paper
Inducti