smt-lib [1] is a library for reading and writing SMT-LIB [2] files via
Haskell. SMT-LIB is a common language and benchmark suite used by
most SMT solvers.
Currently the library supports the full SMT-LIB version 2 syntax.
However at this time, only command scripts -- not responses -- can be
On behalf of the Feldspar team, I'm happy to announce a new release of
the embedded language Feldspar and its C code generator:
http://hackage.haskell.org/package/feldspar-language
http://hackage.haskell.org/package/feldspar-compiler
The main changes in 0.3 are:
* Signed/unsigned
On Fri, Jul 16, 2010 at 10:00 PM, Christopher Done chrisd...@googlemail.com
wrote:
On 16 July 2010 20:37, Don Stewart d...@galois.com wrote:
chrisdone:
Regarding the Haskell Platform, maybe a summer theme is in order?
Sunrise, here's a whole platform upgrade. Get it while it's hot, etc.
Christopher Lane Hinson wrote:
On Fri, 16 Jul 2010, Paul L wrote:
Does anybody know why the type families only supports equality test
like a ~ b, but not its negation?
I would suggest that type equality is actually used for type inference,
whereas proof of type inequality would have no
On 17 July 2010 01:43, Don Stewart d...@galois.com wrote:
Here's a first cut in the repo with the new design converted to CSS
http://code.haskell.org/haskell-platform/download-website/
If anyone would like to clean it up further, please send me patches to
the style.css file or index.html.
On 07/17/2010 03:50 AM, Gábor Lehel wrote:
Does TypeEq a c HFalse imply proof of inequality, or unprovability
of equality?
Shouldn't these two be equivalent for types?
On Sat, Jul 17, 2010 at 2:32 AM, Steffen Schuldenzucker
sschuldenzuc...@uni-bonn.de wrote:
On 07/17/2010 01:08 AM, Paul L
Brandon S Allbery KF8NH wrote:
On 7/16/10 05:21 , Andy Stewart wrote:
IMO, haskell interpreter is perfect solution for samll script job. But
i'm afraid haskell interpreter is slow for *large code*, i don't know,
i haven't try this way...
Hugs?
Or you can try implementing (or finding) a SASL
On Sat, Jul 17, 2010 at 1:43 AM, Don Stewart d...@galois.com wrote:
Here's a first cut in the repo with the new design converted to CSS
http://code.haskell.org/haskell-platform/download-website/
If anyone would like to clean it up further, please send me patches to
the style.css file or
Ryan Ingram wrote:
But it doesn't generalize; you need to create a witness of inequality
for every pair of types you care about.
One can do better, avoiding the quadratic explosion. One merely needs
to establish a map from a type to a suitable, comparable
representation -- for example, to a
2010/7/17 Don Stewart d...@galois.com:
Here's a first cut in the repo with the new design converted to CSS
http://code.haskell.org/haskell-platform/download-website/
If anyone would like to clean it up further, please send me patches to
the style.css file or index.html.
I have big fonts
Christopher Done wrote:
Maybe you could work on a theme like this. Probably OTT.
http://imgur.com/NjiVh
Just an idea. My Inkscape-fu is weak.
I love the way he says my fu is weak after just posting a single image
which is radically better than anything I have ever produced in 20+
years
Thomas Schilling wrote:
It would be great if the new design were compatible with the new wiki
design ( http://lambda-haskell.galois.com/haskellwiki/ ). It doesn't
have to be *that* similar, just compatible.
Hmm. That's really not very pretty... (Or maybe it's just that I dislike
brown? I
Haters gonna hate.
The new wiki will have a user preference to switch back to the default
monobook style. You can always do that if you want. It doesn't work
fully, yet, but that's on my ToDo list.
On 17 July 2010 11:53, Andrew Coppin andrewcop...@btinternet.com wrote:
Thomas Schilling wrote:
Thomas Schilling wrote:
Haters gonna hate.
Well, I don't *hate* it. It just looks a little muddy, that's all. I
tend to go for bright primary colours. But, as you say, each to their own...
The actual layout isn't bad. A bit tall-and-thin, but otherwise OK.
The new wiki will have a user
On 17 July 2010 13:37, Andrew Coppin andrewcop...@btinternet.com wrote:
Thomas Schilling wrote:
Haters gonna hate.
Well, I don't *hate* it. It just looks a little muddy, that's all. I tend to
go for bright primary colours. But, as you say, each to their own...
The actual layout isn't bad. A
Maryam Moghadas schrieb:
Hi
When I use Vectors as a PlotStyle in Graphics.Gnuplot.Simple, the output
curve.gp http://curve.gp and curve0.csv is not generated correctly.
For example when I write in ghci:
plotPathStyle [] (PlotStyle Vectors (DefaultStyle 1)) [(1,1),(2,7)]
Yes, my wrapper
Hi Chris,
I like it, I just have 2 small observations:
1. I don't think it's actually centered, on my resolution from the left to the
The Haskell Platform is about 8 inches, but from the right to it is 11.
My eyes just keep telling me something's wrong
2. Could you maybe update the windows
Have you got SVG or PNG versions of those logos?
On 17 July 2010 14:54, Phyx loneti...@gmail.com wrote:
Hi Chris,
I like it, I just have 2 small observations:
1. I don't think it's actually centered, on my resolution from the left to
the The Haskell Platform is about 8 inches, but from the
Wikipedia has both http://en.wikipedia.org/wiki/File:Windows_7_logo.svg I don't
have an svg editor, but you'd have to remove the Windows 7 text, but that
should be trivial.
-Original Message-
From: Christopher Done [mailto:chrisd...@googlemail.com]
Sent: Saturday, July 17, 2010 14:58
Hey Daniel,
You were right, that is the correct way of doing it, I just found out the
type I was trying to print didn't have the context at that level anymore, I
had to look one position higher in the ast.
Thanks,
Phyx
-Original Message-
From: Daniel Gorín [mailto:dgo...@dc.uba.ar]
On 16/07/10 05:41, Nick Rudnick wrote:
In consequence, an 8-student-project with two B.Sc. theses is raised
as a pilot to examine the possibilities of using Haskell in the
combination small team with limited resources and experience in a
startup setting - we want to find out whether Haskell
Thanks a lot for the explanation. Do you think supporting type
inequality test in type families would require UndecidableInstances?
For the reason that wren ng thornton mentioned?
On Sat, Jul 17, 2010 at 4:56 AM, o...@okmij.org wrote:
Ryan Ingram wrote:
But it doesn't generalize; you need to
Webdesign for an open source project is pretty much doomed from the
beginning. Design requires a few opinionated people rather than
democracy. This is design is a result of a haskell-cafe thread which
naturally involved a lot of bikeshedding. It has its flaws, but it's
certainly better than the
On 17 July 2010 16:21, Thomas Schilling nomin...@googlemail.com wrote:
Webdesign for an open source project is pretty much doomed from the
beginning. Design requires a few opinionated people rather than
democracy. This is design is a result of a haskell-cafe thread which
naturally involved a
On Saturday 17 July 2010 05:39:00, gat...@landcroft.co.uk wrote:
On Sat 17/07/10 04:17 , Alexander Solla a...@2piix.com sent:
Why are you performing unsafe IO actions? They don't play nice
with laziness.
OK, fair cop, but without the unsafe IO action, it still misbehaves.
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 7/17/10 06:49 , Andrew Coppin wrote:
I love the way he says my fu is weak after just posting a single image
which is radically better than anything I have ever produced in 20+ years of
doing computer graphics! o_O
Don't conflate ability to
Here's my take on the new design:
Screenshot: http://imgur.com/9LHvk.jpg
Live version:
http://dl.dropbox.com/u/623671/haskell_platform_redesign/index.htm___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Brandon S Allbery KF8NH wrote:
On 7/17/10 06:49 , Andrew Coppin wrote:
I love the way he says my fu is weak after just posting a single image
which is radically better than anything I have ever produced in 20+ years of
doing computer graphics! o_O
Don't conflate ability to operate a
On 17 July 2010 18:18, Niemeijer, R.A. r.a.niemei...@tue.nl wrote:
Here's my take on the new design:
Screenshot: http://imgur.com/9LHvk.jpg
Live version:
http://dl.dropbox.com/u/623671/haskell_platform_redesign/index.htm
O, I like it! Nice one for building it. Would you consider doing a
On Jul 16, 2010, at 11:09 AM, Don Stewart wrote:
If anyone is interested in a 2010.2 series design for the HP site, the
repository containing the stylesheet is here:
http://code.haskell.org/haskell-platform/
I like the content. The layout has some flaws when rendered on my environment
Thought I'd bring Neimeijer's design into the mix, because I think
it's brilliant (and it's been built):
(For some reason it didn't appear in this thread in my GMail inbox;
perhaps the Subject field got altered. Posting this here incase it
happened like that for everyone else so that we can
allbery:
like to repeat one request: Please, please, please make it easier to
- Download older versions of HP.
- Find out which HP release contains what.
- Figure out what the difference between release X and release Y is.
+1
I'd consider this mandatory. It's amazing how many projects
Don Stewart wrote:
allbery:
like to repeat one request: Please, please, please make it easier to
- Download older versions of HP.
- Find out which HP release contains what.
- Figure out what the difference between release X and release Y is.
+1
I'd consider this mandatory. It's
markl:
I like the content. The layout has some flaws when rendered on my
environment (Safari 4, but with perhaps narrower than most peoples
windows):
* The background image tiled looks pretty bad - since I see repeats
and it doesn't really tile.
Yes, noted.
* The three columns at the
andrewcoppin:
Don Stewart wrote:
allbery:
like to repeat one request: Please, please, please make it easier to
- Download older versions of HP.
- Find out which HP release contains what.
- Figure out what the difference between release X and release Y is.
+1
I'd consider this
I accidentally found a rarely encountered omission in Cabal (the lib, because
via Setup.hs) by building Haskell Platform as shared libs from source.
It is rare because you have to use both --enabled-shared and
--package-db=blah together to run into it. --package-db=blah is already rare
enough
and I forgot to say the Cabal lib tried is already version 1.8.0.6
ghc is 6.12.3
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
I still like the original design on http://imgur.com/NjiVh a lot better, It has
a simple modern design to it in my opinion :)
-Original Message-
From: haskell-cafe-boun...@haskell.org
[mailto:haskell-cafe-boun...@haskell.org] On Behalf Of Christopher Done
Sent: Saturday, July 17, 2010
From: Christopher Done [chrisd...@googlemail.com]
Sent: 17 July 2010 19:23
To: Niemeijer, R.A.
Cc: haskell-cafe@haskell.org
Subject: Re: [Haskell-cafe] RE: Design for 2010.2.x series Haskell Platform
site (Don Stewart)
O, I like it! Nice one for
On Sat, Jul 17, 2010 at 2:23 PM, Christopher Done
chrisd...@googlemail.com wrote:
Anyway, fantastic! What does everyone else think?
I like it as well. There are only two nitpicks: I think that icon for
Linux is lame, and I get confused by the image of the guy diving.
Thanks, =)
--
Felipe.
hledger 0.11 is released! Thanks to all testers and to Michael Snoyman
for much help keeping up with Yesod.
Best,
-Simon
home: http://hledger.org
Release notes:
2010/07/17 hledger 0.11
* split --help, adding --help-options and --help-all/-H, and make
it the
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 7/17/10 13:23 , Christopher Done wrote:
On 17 July 2010 18:18, Niemeijer, R.A. r.a.niemei...@tue.nl wrote:
Screenshot: http://imgur.com/9LHvk.jpg
Live version:
http://dl.dropbox.com/u/623671/haskell_platform_redesign/index.htm
O, I like
On Sat, 17 Jul 2010 18:02:05 -0400
Brandon S Allbery KF8NH allb...@ece.cmu.edu wrote:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 7/17/10 13:23 , Christopher Done wrote:
On 17 July 2010 18:18, Niemeijer, R.A. r.a.niemei...@tue.nl wrote:
Screenshot: http://imgur.com/9LHvk.jpg
Live
Well, Linux fanboys are known for spending too much time with their
computers compiling OS kernel or building world, no surprise their
eyes aren't in place.
On 18 Jul 2010, at 02:54, bri...@aracnet.com wrote:
On Sat, 17 Jul 2010 18:02:05 -0400
Brandon S Allbery KF8NH allb...@ece.cmu.edu
Can distro maintainers confirm these are the best links for
each distro package?
Debian
http://packages.debian.org/squeeze/haskell-platform
(or should it be sid?)
Fedora:
https://admin.fedoraproject.org/pkgdb/acls/name/haskell-platform
Gentoo:
Don Stewart d...@galois.com writes:
Can distro maintainers confirm these are the best links for
each distro package?
[snip]
Gentoo:
http://www.haskell.org/haskellwiki/Gentoo/HaskellPlatform
Ugh, that would be the right page if we bothered to keep it maintained.
I might do so
Miguel Mitrofanov miguelim...@yandex.ru writes:
Well, Linux fanboys are known for spending too much time with their
computers compiling OS kernel or building world, no surprise their
eyes aren't in place.
That's just Gentoo fanboys, thank you very much. Stop trying to
give the rest of the
Andrew Coppin andrewcop...@btinternet.com writes:
Anyway, I'm loving the current theme. But if we're redesigning the
site, I'd like to repeat one request: Please, please, please make it
easier to
- Download older versions of HP.
- Find out which HP release contains what.
- Figure out what
Fedora:
https://admin.fedoraproject.org/pkgdb/acls/name/haskell-platform
Yes, thanks that is fine.
Jens
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On 7/16/10 9:36 PM, Ivan Lazar Miljenovic wrote:
Michael Litchardmich...@schmong.org writes:
cabal: dependencies conflict: happstack-server-0.5.1 requires time ==1.1.4
however
time-1.1.4 was excluded because happstack-server-0.5.1 requires time ==1.2.0.3
I did battle with this one today.
2010년 07월 17일 16:53, Don Stewart 쓴 글:
Can distro maintainers confirm these are the best links for
each distro package?
Debian
http://packages.debian.org/squeeze/haskell-platform
(or should it be sid?)
http://packages.debian.org/haskell-platform
I am not a maintainer
Yes, but our freshly compiled binaries have far more nutrients then
your factory produced ones! Besides, the world would be a far better
place if everyone compiled local rather than having binaries shipped to
them from half-way across the globe...
On 7/17/10 4:08 PM, Miguel Mitrofanov
On Fri, Jul 16, 2010 at 10:54 AM, Mark Wotton mwot...@gmail.com wrote:
Hello all,
I've recently had problems with haskell-src-meta. While it's a great
package, it doesn't currently compile on GHC 6.12, and Matt Morrow
doesn't seem to be around to push the version that does to Hackage.
Our
Niemeijer, R.A. wrote:
Here's my take on the new design:
Screenshot: http://imgur.com/9LHvk.jpg
Live version: http://dl.dropbox.com/u/623671/haskell_platform_redesign/index.htm
Is it just me, or does aligning [OSX,Win,Linux] `zip` [Comprehensive,
Robust, CuttingEdge] send the wrong
wren:
Niemeijer, R.A. wrote:
Here's my take on the new design:
Screenshot: http://imgur.com/9LHvk.jpg
Live version:
http://dl.dropbox.com/u/623671/haskell_platform_redesign/index.htm
Is it just me, or does aligning [OSX,Win,Linux] `zip` [Comprehensive,
Robust, CuttingEdge] send the
On Sat, 17 Jul 2010, wren ng thornton wrote:
Niemeijer, R.A. wrote:
Here's my take on the new design:
Screenshot: http://imgur.com/9LHvk.jpg
Live version:
http://dl.dropbox.com/u/623671/haskell_platform_redesign/index.htm
Is it just me, or does aligning [OSX,Win,Linux] `zip`
wren ng thornton w...@freegeek.org writes:
Niemeijer, R.A. wrote:
Here's my take on the new design:
Screenshot: http://imgur.com/9LHvk.jpg
Live version:
http://dl.dropbox.com/u/623671/haskell_platform_redesign/index.htm
Is it just me, or does aligning [OSX,Win,Linux] `zip`
Don Stewart d...@galois.com writes:
For Ubuntu, I find a few confusing things:
Ubuntu:
https://launchpad.net/ubuntu/+source/haskell-platform
But nothing at:
http://packages.ubuntu.com/lucid/haskell-platform
But there's instructions for the src build:
Hello All, I'm not sure if this either a bug in how ghc does path/module
lookup or it simply is invalid haskell:
consider modules A, A.B and A.B.C
where A imports A.B, and A.B imports A.B.C
with the following file system layout
A.hs
A/B.hs
A/B/C.hs
minimal file examples:
module A where
Carter Schonwald carter.schonw...@gmail.com writes:
Hello All, I'm not sure if this either a bug in how ghc does path/module
lookup or it simply is invalid haskell:
consider modules A, A.B and A.B.C
where A imports A.B, and A.B imports A.B.C
with the following file system layout
A.hs
60 matches
Mail list logo
