Re: [Haskell] ANNOUNCE: Haskell File Manager

FYI, The blog with a screenshot of it: http://www.mickinator.com/wordpress/?cat=5 Regards, Michael On 26/04/2009 17:24, "Michael Dever" wrote: > Hi, > > The first release of Haskell File Manager has been uploaded to > http://code.haskell.org/haskellfm > > T

Re: [Haskell] Re: ANNOUNCE: Haskell File Manager

Hey Benjamin, At this time no it doesn't, it only supports Linux ( no Mac support either ), but I have plans to add in Windows support if I get good feedback on it & people want more from it :D Regards, Michael On Tue, Apr 28, 2009 at 4:19 AM, Benjamin L.Russell wrote: > On Sun, 26

[Haskell] ANN: hledger 0.5 released

dger transactions * don't fail when matching an empty pattern, as in "not:" * make the web server handle the null path * code, api and documentation updates * add a contributor agreement/list Release contributors: * Simon Michael * Sergey Astanin Release stats: * Days

[Haskell] ANN: hledger 0.6 released

* web: improved web ui supporting full patterns & period expressions * new "stats" command reports some ledger statistics * many dev/doc/deployment infrastructure improvements * move website into darcs repo, update home page * move issue tracker to google code Release stats: * Con

Re: [Haskell] Re: Haskell on the iPhone

I'm in. Mick On Tue, Jun 23, 2009 at 6:15 AM, Benjamin L.Russell wrote: > On Mon, 22 Jun 2009 17:12:22 -0400, Ryan Trinkle > wrote: > > >[...] > > > >I would like to take this opportunity to propose the creation of a > >haskell-iphone mailing list, so that all Haskellers working with the > iPho

[Haskell] ANN: Gtk2hsGenerics

Hi all, Apologies if this goes through twice. I extracted some functions from working on haskellfm, and made them a bit generic. There's no new functionality in this, but some handy functions that I found useful while working on it. They take some of the pain out extracting information fro

[Haskell] ANN: shelltestrunner 0.6 released

I'm pleased to announce the first release of shelltestrunner: a small tool for testing any command-line program by running it through "shell" tests defined with a simple file format. Each test can specify the command-line arguments, input, expected output, expected stderr output, and/or exp

[Haskell] Re: ANN: shelltestrunner 0.6 released

And the urls: home - http://hackage.haskell.org/package/shelltestrunner darcs repo - http://joyful.com/repos/shelltestrunner ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell] ANN: rss2irc 0.3 released

rss2irc is an irc bot created by Don Stewart to watch rss feeds and announce new items on irc. I have been tweaking and testing it for a while, and have taken up the maintainer reins. I'm happy to announce release 0.3, with: - reliable http networking - irc flood protection - better error h

[Haskell] ANN: rss2irc 0.4 released

I have released rss2irc 0.4, with some improvements from the field: - fix a problem connecting with irc.quakenet.org (Radoslav Dorcik) - feed polling now recovers from transient failures - can poll a local file: uri as well as remote uris - more robust new item detection, with some alternate stra

[Haskell] Re: ANN: rss2irc 0.4 released

Whoops, bugfixes: Release notes for 0.4.2, 2009-09-27: - fix a bug where every --max-items-th announcement was skipped Release notes for 0.4.1, 2009-09-26: - fix release notes ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailm

[Haskell] hledger 0.7 released

I'm pleased to announce hledger 0.7. Thanks to Marko Kocić who contributed many fixes for hlint warnings. To install/upgrade: cabal update && cabal install hledger [-fweb] [- fvty] Documentation: http://hledger.org Release notes: * price history support (first cut): P directives now wo

[Haskell] ghc-6.12.1 binary package for OpenSolaris b129

If anyone is interested in a binary package of ghc-6.12.1 for OpenSolaris, one can find said package at http://code.google.com/p/opensolaris-lang/. Please let me know how it works out for you. Thanks, -m ___ Haskell mailing list Haskell@haskell.org http

[Haskell] ANN: hledger 0.8 released

ction's date as default (Roman Cheplyaka) * add: a command-line argument now filters by account during history matching (Roman Cheplyaka) * chart: new command, generates balances pie chart (requires - fchart flag, gtk2hs) (Roman Cheplyaka, Simon Michael) * register: make reportin

[Haskell] ANN: hledger 0.9 released

I'm pleased to announce a new hledger release, with many bugfixes and small improvements, GHC 6.12 support, and a separate library package to make building (h)ledger-compatible tools easier. Thanks to Oliver Braun and Gwern Branwen for code contributions this release. Just in time for tax filing

[Haskell] ANN: hledger 0.10 released

hledger 0.10 is released, with installation and bug fixes and api improvements. Best, -Simon home: http://hledger.org Release notes: 2010/05/23 hledger 0.10 * fix too-loose testpack dependency, missing safe dependency * fix ghc 6.12 compatibility with -fweb

[Haskell] ANN: hledger 0.11

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

[Haskell] ANN: hledger 0.12.1

I'm pleased to announce hledger 0.12.1, with a new web interface and bugfixes. Thanks to Ben Boeckel and David Patrick for their help this time around. Installation docs, linux/mac/windows binaries and more are at http://hledger.org and http://hackage.haskell.org/package/ hledger . Release

Re: [Haskell] haskell.org migration complete

If you log in, it reverts to the default mediawiki style. ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell] ANN: hledger 0.13

I've released hledger 0.13, with readline editing and tab completion from Judah Jacobson, more ledger compatibility, a more robust and installable web interface, bugfixes, and a much-deliberated package split. Docs and mac and 64-bit linux binaries are at http://hledger.org , and of cours

[Haskell] CfP: PPDP 2011

Michael Codish Ben-Gurion University of the Negev, Israel Moreno Falaschi Universita di Siena, Italy Amy Felty University of Ottawa, Canada Michael Hanus University of Kiel, Germany (Chair) Andy King University of Kent, UK Helene

[Haskell] ANNOUNCE: accentuateus-0.9 (A Haskell implementation of the Accentuate.us API)

underway, but I figured this would be a nice one to be a first release so that I can get some good feedback and improve both it and future projects. Thanks! Michael Schade http://mschade.me/ ___ Haskell mailing list Haskell@haskell.org http://www.hask

Re: [Haskell] ANNOUNCE: accentuateus-0.9 (A Haskell implementation of the Accentuate.us API)

ahead and updated the package to accentuateus-0.9.1: http://hackage.haskell.org/package/accentuateus Thanks for the feedback everyone, whether on the list or otherwise! This is precisely why I love the Haskell community :) Michael ___ Haskell mailing list

[Haskell] CfP: PPDP 2011

Michael Codish Ben-Gurion University of the Negev, Israel Moreno Falaschi Universita di Siena, Italy Amy Felty University of Ottawa, Canada Michael Hanus University of Kiel, Germany (Chair) Andy King University of Kent, UK Helene

[Haskell] ANN: hledger 0.14

tion is blank * web: allow filter patterns with spaces if quoted, like command line * web: make edit form more cross-browser compatible, fixing it in firefox (#38) * web: move hidden add/edit/import forms below main content to help text-mode browsers a bit (#33) Release contributors: Simon M

[Haskell] Call for Participation: PPDP 2011

== CALL FOR PARTICIPATION PPDP 2011 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming http

[Haskell] ANN: shelltestrunner 1.0

I'm pleased to announce the 1.0 release of shelltestrunner! Home page: http://joyful.com/repos/shelltestrunner Install: $ cabal install shelltestrunner shelltestrunner tests command-line programs or arbitrary shell commands. It reads simple declarative tests specifying a command, some input, an

[Haskell] ANN: shelltestrunner 1.1

I'm pleased to announce shelltestrunner 1.1. shelltestrunner tests command-line programs or arbitrary shell commands. It reads simple declarative tests specifying a command, some input, and the expected output, error output and exit status. Tests can be run selectively, in parallel, with a timeou

[Haskell] ANN: hledger-web 0.15.1 (& hledger 0.15)

sod * api simplifications * importable Hledger, Hledger.Web, Hledger.Vty and Hledger.Chart modules * the basic reports are now provided by hledger-lib for easier reuse * new api use examples: `equity.hs`, `uniquify.hs` * some old base 3 support has been dropped * the old -s f

[Haskell] ANN: hledger 0.16

ng slash * web: fix "not:'multi word'" patterns * web: hide old title and search form when adding/editing * web: adjust --help to indicate command-line arguments are not expected * web: don't bother running cli unit tests at startup Stats: - Release contrib

[Haskell] ANN: hledger 0.17

Happy new year all. hledger and hledger-web 0.17 are released. Not quite as planned, this release mainly fixes bugs and updates dependencies. Also the hledger-vty and hledger-chart packages have been demoted to "unmaintained extras" for now to save time. hledger is a library, command-line tool,

[Haskell] ANN: cabal-file-th-0.2.2

I have uploaded a new version of cabal-file-th which bumps the Cabal upper bound to avoid difficulties with GHC 7.4. Best - Simon ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell] SURVEY: hledger, shelltestrunner, rss2irc, FunGEn usage 2012

Hey all, I'm gathering usage data on my main FOSS projects, to help me prioritize and steer them. I've prepared a short survey, 10 optional questions that should take 1-5 minutes per project. If you use any of these projects and/or would like them to continue, you can help a lot by adding your

Re: [Haskell] SURVEY: hledger, shelltestrunner, rss2irc, FunGEn usage 2012

ps://docs.google.com/spreadsheet/ccc?key=0Au47MrJax8HpdFN5dllFTGFFU3ZhclcxWTZFNEludlE&pli=1#gid=3 Summary: https://docs.google.com/spreadsheet/gform?key=0Au47MrJax8HpdFN5dllFTGFFU3ZhclcxWTZFNEludlE&gridId=3#chart Thanks for the excellent feedback. -Simon On Feb 23, 2012, at 7:13 PM, Sim

[Haskell] ANN: shelltestrunner-1.2

I'm pleased to announce the release of shelltestrunner 1.2. Also, in case you missed it there's a survey where you can help steer the project (below). shelltestrunner tests command-line programs (or arbitrary shell commands.) It reads simple declarative tests specifying a command, some input, and

[Haskell] ANN: hledger 0.18

rly on all supported GHC versions * extensive API, test and internal cleanups Stats: - Release contributors: Simon Michael, xiaoruoruo - 87 days, 155 commits, 6 end-user features and 3 end-user bug fixes since last major release - 216 unit & functional tests (hledger-lib & hledger) -

[Haskell] ANN: hub.darcs.net

Hello darcs fans,

[Haskell] ANN: hledger 0.19

| 2.33 | +---++--+--++ build version is set with CPP instead of cabal-file-th Release contributors: Simon Michael, Sergei Trofimovich Release stats: 106 days, 21 commits, 1 end-user fix, 0 end-user features since last release Project stats: 222 unit & fu

[Haskell] HaXml

I'm fairly beginnerish. I'm trying to use HaXml with MusicXML. I got a hold of the MusicXML DTD and ran DtdToHaskell. It generated a file which I then attempted to import to a test program. I got a few compiler errors about duplicate definitions and ambiguous definitions. It seemed pretty clear tha

[Haskell] ANN: hledger-web 0.19

I'm pleased to announce hledger-web 0.19, compatible with the latest hledger and Yesod. Release notes: * web: builds with yesod 1.1.3 * web: obeys command-line query options at startup again * the autogenerated session file is now a dot file (.hledger-web_client_session.aes) hledger

[Haskell] ANN: shelltestrunner 1.3

I'm pleased to announce the release of shelltestrunner 1.3. New in this release: * support latest Diff, cmdargs, test-framework; tested with GHC 7.6.1 (Magnus Therning) * fix unicode handling on GHC >= 7.2 shelltestrunner tests command-line programs (or arbitrary shell commands.) It reads simp

[Haskell] ANN: rss2irc-1.0, announces RSS/Atom feed updates to IRC

I'm pleased to announce a new release of rss2irc, the software behind hackagebot on #haskell. rss2irc is an IRC bot that polls an RSS or Atom feed and announces updates to an IRC channel, with options for customizing output and behavior. It aims to be an easy-to-use, reliable, well-behaved bot.

[Haskell] Call for Papers: WFLP/WLP 2013

o Falaschi Universita di Siena, Italy Sebastian Fischer Kiel, Germany Thom Fruehwirth University of Ulm, Germany Michael Hanus University of Kiel, Germany (Chair) Oleg Kiselyov Monterey (CA), USA Herbert Kuchen University of Muenster, Germany

[Haskell] ANN: hledger 0.20

I'm pleased to announce hledger and hledger-web 0.20! hledger is a command-line tool and haskell library for tracking financial transactions, which are stored in a human-readable plain text format. In addition to reporting, it can also help you record new transactions, or convert CSV data from you

[Haskell] ANN: hledger 0.21

I'm pleased to announce hledger and hledger-web 0.21! hledger is a command-line tool and haskell library for tracking financial transactions, which are stored in a human-readable plain text format. In addition to reporting, it can also help you record new transactions, or convert CSV data from you

[Haskell] Call for Papers: WFLP/WLP 2013

versity of Clausthal, Germany Rachid Echahed CNRS, University of Grenoble, France Moreno Falaschi Universita di Siena, Italy Sebastian Fischer Kiel, Germany Thom Fruehwirth University of Ulm, Germany Michael Hanus University of Kiel, Germ

[Haskell] Call for Papers: Kiel Declarative Programming Days 2013

== CALL FOR PAPERS Kiel Declarative Programming Days 2013 September 11-13, 2013 http://www-ps.informatik.uni-kiel.de/kdpd2013/ The Kiel Declarative Program

[Haskell] CfP: Curry and Functional Logic Programming 2005

mera-ready papers: July 12, 2005 Workshop: September 29, 2005 -- PROGRAM COMMITTEE Sergio Antoy (Portland State University, co-chair) Olaf Chitil (University of Kent) Rachid Echahed (IMAG, Grenoble) Moreno Falaschi (Univ

Re: [Haskell] Going nuts

just bind them using "let" Regards, Michael ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell] Curry and Functional Logic Programming 2005 (2nd CfP)

mera-ready papers: July 12, 2005 Workshop: September 29, 2005 -- PROGRAM COMMITTEE Sergio Antoy (Portland State University, co-chair) Olaf Chitil (University of Kent) Rachid Echahed (IMAG, Grenoble) Moreno Falaschi (Univ

[Haskell] WCFLP 2005: Call for Participation

Programming over Sets of Spatial Objects 14.30: Michael Hanus: A Generic Analysis Environment for Declarative Programs 15.00: J. Guadalupe Ramos, Josep Silva and German Vidal: An Offline Partial Evaluator for Curry Programs 15.30: Sebastian Fischer: A Functional Logic Database

[Haskell] cannot compile ghc on Debian unstable

Right now, the Debian unstable package for GHC 6.4 won't install due to some conflict with libgmp3 (the package maintainer has been notified). I tried to compile the sources from scratch but found out that GHC requires a previously-existing version of itself to compile. I have hugs working fine,

Re: [Haskell] cannot compile ghc on Debian unstable

> From: Michael Vanier <[EMAIL PROTECTED]> > Date: Sat, 27 Aug 2005 22:06:40 -0700 (PDT) > > > Right now, the Debian unstable package for GHC 6.4 won't install due to > some conflict with libgmp3 (the package maintainer has been notified). I > tried to compile th

Re: [Haskell] cannot compile ghc on Debian unstable

> From: Wolfgang Jeltsch <[EMAIL PROTECTED]> > Date: Sun, 28 Aug 2005 16:14:26 +0200 > > Am Sonntag, 28. August 2005 07:06 schrieb Michael Vanier: > > Right now, the Debian unstable package for GHC 6.4 won't install due to > > some conflict with libgmp3 (the p

Re: [Haskell] Re: [Haskell-cafe] Haskell versus Lisp

> Date: Fri, 16 Sep 2005 23:33:46 +0200 > From: Tomasz Zielonka <[EMAIL PROTECTED]> > > On Fri, Sep 16, 2005 at 05:40:04PM +0100, Glynn Clements wrote: > > > > Every other language (including Haskell) tends to have the problem > > that eventually you will encounter a situation where the language

[Haskell] CFP: European Conference on Logics in AI [JELIA'06]

+---+ | * CALL FOR PAPERS * | | ** JELIA'06** | | --- | | 10th European Confere

[Haskell] AMAST06 CFP (Feb closing date)

pected that this practice will be continued for AMAST '06. Programme Committee Chairs Michael Johnson, Macquarie University (co-chair) Varmo Vene, University of Tartu (co-chair) AMAST steering committee Egidio Astesiano, Universita degli Studi di Genova Robert Berwick, MIT Zohar Mann

[Haskell] PPDP'06 -- Call for Papers

which will take place 9-16 July 2006. See http://icalp06.dsi.unive.it for more information. CONFERENCE CHAIR: Annalisa Bossi, U. Ca' Foscari di Venezia web: http://www.dsi.unive.it/~bossi/, email: [EMAIL PROTECTED] PROGRAM CHAIR: Michael Maher, National ICT Australia web: http://www.cse.unsw

Re: [Haskell] Haskell as a disruptive technology?

tudy functional programming deeply because it seems irrelevant to finding a job. Decision makers, on the other hand, either have never heard of FP or are aware that there are not enough people familiar with it and so there are natural concerns about maintenance. Mic

[Haskell] What's up with this Haskell runtime error message:

Greetings All: GHC gives: Fail: <> Hugs gives: [(ERROR - C stack overflow cheers, -Mike ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

Re: [Haskell] How to generate a dll?

l was not stable"? Michael Andreas Marth wrote: Hallo! I want to make my Haskell program usable from Visual Basic. What is the way to go? (I tried the way the user guide for ghc 6.4.2 describes but the resulting dll was not stable.) While I don't have any clues about language interop

Re: [Haskell] How to generate a dll?

Andreas, one more pointer: http://haskell.org/haskellwiki/GHC:FAQ#GHC_on_Windows Michael Andreas Marth wrote: Hallo! I want to make my Haskell program usable from Visual Basic. What is the way to go? (I tried the way the user guide for ghc 6.4.2 describes but the resulting dll was not

Re: [Haskell] How to define Y combinator in Haskell

On 9/15/06, Robert Dockins <[EMAIL PROTECTED]> wrote: You can define a direct fixed point combinator without relying on nominal recursion in Haskell, but it requires you to define a helper newtype. That's really nifty! I'd been wondering whether you could do this too. Is there a reason for th

Re: [Haskell] Fixpoint combinator without recursion

For those of us who aren't type theorists: What's a "negative datatype"? Mike Edsko de Vries wrote: Hey, It is well-known that negative datatypes can be used to encode recursion, without actually explicitly using recursion. As a little exercise, I set out to define the fixpoint combinator usin

[Haskell] Fwd: Mutually dependent functions

tation slower to do so however. Is this a known problem that will one day be resolved, or is it considered beyond the scope of the language? As I only use ghc, I am unfamiliar if one of the other implementations could handle this. I have seen nothing referri

[Haskell] Irrefutable patterns allowing mutually dependent functions.

would be highly appreciated. - Michael Speer . ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell] Call for Book Chapters: Process Algebra/Algebraic Languages/Specification-based AD

Apologies if you received multiple copies of this message CALL FOR BOOK CHAPTERS BOOK TITLE: Process Algebra for Parallel and Distributed Processing: Algebraic Languages in Specification-Based Software Development EDITORS: Michael Alexander, WU Wien Bill Gardner, University of Guelph The

[Haskell] LOPSTR 2008: Preliminary Call for Papers

, Belgium Wlodek Drabent Polish Academy of Sciences, Poland / Linköping Univ., Sweden Gopal Gupta University of Texas at Dallas, USA Michael Hanus University of Kiel, Germany (Chair) Patricia Hill University of Leeds, UK Andy King University of Kent, UK Michael Leuschel

[Haskell] Re: [Haskell-cafe] Why functional programming matters

Yaakov Nemoy wrote: I'm still very much a newbie, but the one thing that struck me as the best feature coming from Python is the static typing. Changing the type of a function in Python will lead to strange runtime errors that take some work to debug, whereas, when I tinker with a program in Ha

[Haskell] Call for Participation: Kiel Declarative Programming Days 2013

, Petra Hofstedt, Peter Sauer, Thilo Voertler and Thomas Hinze: Constraint-based Approach for an Early Inspection of the Feasibility of Cyber Physical Systems Thomas Eiter, Michael Fink, Thomas Krennwallner and Christoph Redl: HEX-Programs with Existential Quantification Guohua Liu

[Haskell] ANN: hledger 0.22

Hi all. I have released hledger and hledger-web 0.22. hledger is a command-line tool and haskell library for tracking financial transactions, which are stored in a human-readable plain text format. In addition to reporting, it can also help you record new transactions, or convert CSV data from yo

Re: [Haskell] ANN: hledger 0.22

It works for me in a fresh cabal-dev package db, which I think yours is not, right ? Installs into an already-populated package db are more troublesome than usual right now because of the recent major version bumps to text, wai, warp, http-conduit etc. On Sat, Dec 14, 2013, at 10:27 A

Re: [Haskell] ANN: hledger 0.22

e: I also had fresh cabal-dev repo, and it didn't work. However, I was able to build when I added --max-backjumps=1 to the build line. Regards, Marko On Sunday, December 15, 2013 4:50:30 AM UTC+1, Simon Michael (sm) wrote: It works for me in a fresh cabal-dev package db, which I think yo

[Haskell] ANN: hledger-0.23, hledger-web-0.23

I'm pleased to announce hledger and hledger-web 0.23! This release includes command-line fixes and polish, a new accounts command, and a number of changes to the balance command relating to --depth, --flat, and multicolumn mode, which I find has made it much more useful. Release notes: http://hled

Re: [Haskell] Haskell Digest, Vol 133, Issue 16

Ouch. Ouchie. On Fri, Sep 26, 2014 at 6:54 AM, John Tromp wrote: > > In the heart of Free Glasgow, in the soon to be People's Republic of > Scotland > > Correction: the formerly-soon-to-be People's Republic of Scotland. > > -John > ___ > Haskell mailin

[Haskell] RTA 2015 - First Call For Papers

== RTA 2015 - CALL FOR PAPERS 26th International Conference on REWRITING TECHNIQUES AND APPLICATIONS 29 June - 1 July, 2015, Warsaw, Poland co-located with TLCA, as part of RDP 2015

Re: [Haskell] NFM 2015 - CALL FOR PARTICIPATION

I registered for NFM 2015 and didn't receive any confirmation email. Does anyone know anything about this? http://www.NASAFormalMethods.org/nfm2015 On Thu, Feb 19, 2015 at 8:31 AM, Klaus Havelund < compscience.announcem...@gmail.com> wrote: > > > NFM

[Haskell] ANN: hledger 0.25

Simon Michael, Julien Moutinho. hledger (http://hledger.org) is a command-line tool and haskell library for tracking financial transactions, which are stored in a human-readable plain text format. It can also read CSV or timelog files. It provides useful reports, and can also help you recor

[Haskell] ANN: ssh, darcsden vulnerability

We recently learned of a serious undocumented vulnerability in the ssh package. This is a minimal ssh server implementation used by darcsden to support darcs push/pull. If you use the ssh package, or you have

[Haskell] ANN: hledger 0.26

mples. Full release notes: http://hledger.org/release-notes#hledger-0.26 . Release contributors: Simon Michael, Imuli, Carlos Lopez-Camey, Kyle Marek-Spartz, Rick Lupton, Simon Hengel. About: hledger (http://hledger.org) is a command-line tool and haskell library for tracking financial transac

[Haskell] PhD and Postdoc Positions - KWARC, Jacobs University Bremen

areas uniformly and integrate across domains, languagues, and tools, always combinng logical correctness, wide-range applicability, and large-scale inter-operability. Interested candidates can introduce themselves or ask for further information by email to Prof. Michael Kohlhase Applications

[Haskell] Call for Papers and Demos: Functional Art, Music, Modelling and Design

4th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Co-located with ICFP Nara, Japan, 24 September, 2016 http

[Haskell] Functional Art, Music, Modelling and Design 2016: 2nd Call For Papers

4th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Co-located with ICFP Nara, Japan, 24 September, 2016 Call for Papers and Demos The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who are harn

[Haskell] Announcing MuniHac 2016

of talks by renowned Haskellers. More details and a link to the registration platform can be found on www.munihac.de Hope to see you in Munich! Best regards, Michael -- Michael Adler TNG Technology Consulting michael.ad...@tngtech.com TNG Technology Consulting GmbH, Betastr. 13a, 85774

[Haskell] Call for Participation: Functional Art, Music, Modelling and Design (September 24, Nara, Japan)

- Michael Sperber, Active Group GmbH (co-chair) - John Stell, University of Leeds ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Re: [Haskell] problem installing Stack on Ubuntu Virtual Machine

Adding the haskell-stack mailing list, that's more focused than haskell@haskell.org. Just leaving this message on that mailing list in case someone in the future wonders where this conversation is moving to. Short answer: try adding the following to ~/.stack/config.yaml: package-indices: - name: H

Re: [Haskell] [ANN] Change of ownership for VTY

On 12/24/16 1:18 PM, Jonathan Daugherty wrote: The (former) owner of VTY here. Unfortunately, I don't have the resources to continue to contribute. Jonathan Daugherty has stepped up in my absence to provide excellent improvements and support. He is now the official owner/maintainer of VTY. Accor

[Haskell] Workshop on Functional Art, Music, Modelling and Design (Oxford, Sep 9): Call for Papers and Demos

5th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Oxford, UK, September, 9th 2017 Key Dates: Submission deadline June 1, 2017 Author Notification July 1, 2017 Camera ReadyJuly 13, 2017 Call for Papers and Demos: T

Re: [Haskell] Deadline extension may 15: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury

Student papers feedback:29 June, 2017 > Submission for formal review: 2 August, 2017 > Notification of acceptance: 3 November, 2017 > Camera ready paper: 2 December, 2017 -- Michael Walker (http://www.barrucadu.co.uk)

[Haskell] Workshop on Functional Art, Music, Modelling and Design (Sep 9, Oxford): Call for Papers and Performances

Of course, Haskell submissions are very welcome at the FARM! 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Oxford, UK, September, 9th 2017 Call for Papers and Performances Key Dates: Paper submission deadline June 1, 2017 Performance submiss

[Haskell] Call for Papers: WFLP/WLP 2017

, Italy Michael Hanus University of Kiel, Germany (Chair) Sebastian Joosten University of Innsbruck, Austria Oleg Kiselyov Tohoku University, Japan Herbert Kuchen University of Muenster, Germany Dietmar Seipel University of Wuerzburg, Germany Tom Schrijvers KU Leuven, Belgium

[Haskell] Deadline extension for FARM 2017 (now June 8) - Workshop on Functional Art, Music, Modelling and Design

The FARM submission deadline has been extended to June 8. Note that you must register your abstract by June 1 in order to submit the final paper by June 8. Key Dates: Abstract Registration deadline : June 1, 2017 Submission deadline: June 8, 2017 Author Notification: July

[Haskell] 2nd Call for Papers: WFLP/WLP 2017

University of Kent, UK Juergen Dix Clausthal University of Technology, Germany Moreno Falaschi Universita di Siena, Italy Michael Hanus University of Kiel, Germany (Chair) Sebastiaan Joosten University of Innsbruck, Austria Oleg Kiselyov Tohoku University, Japan Herbert

Re: [Haskell] PSA: `cabal update` command needs manual unsticking

—although it uses the same hackage-security library as cabal-install—it follows a different codepath outside of hackage-security for downloading tarballs. I'm not 100% certain Stack is immune, however, so if someone notices a problem, please report it. Michael _

[Haskell] WFLP 2018: Second Call for Papers

inger LNCS formal proceedings. Program Committee + Slim Abdennadher, German University in Cairo, Egypt + Maria Alpuente, Universitat Politècnica de València, Spain + Sergio Antoy, Portland State University, USA + Olaf Chitil, University of Kent, UK + Maria del Mar Gallardo, Universidad de Mála

[Haskell] LOPSTR 2020 - First CFP

ark Gopal Gupta, University of Texas at Dallas, US Michael Hanus, Kiel University, Germany Delia Kesner, Université de Paris, France Andy King, University of Kent, UK Temur Kutsia, RISC J. Kepler University of Linz, Austria Giselle Reis, Carnegie Mellon University, Qatar Masahito Sakai, Nagoya Univers

[Haskell] Call for Participants in Haskell Search Tool User Study

interested in seeing what the future of Haskell development could look like or want to be part of a user study, let us know by filling out our interest form: https://forms.gle/1tNuUw4xscfZmpNX8 Thanks, Michael B. James ___ Haskell mailing list Haskell

[Haskell] WFLP 2020 CFP (Workshop on Functional and Constraint Logic Programming)

s Ballis (University of Udine, Italy) Moreno Falaschi (Università di Siena, Italy) Michael Hanus (University of Kiel, Germany) (Co-Chair) Herbert Kuchen (University of Muenster, Germany) Dale Miller (INRIA and LIX/Ècole Polytechnique) Claudio Sacerdoti Coen (University of Bologna, Italy) (Co-Cha

[Haskell] WFLP 2020: 2nd CFP and Extended Deadlines

ormal proceedings. Therefore, all accepted papers will be published in open-access, and the authors can also decide to publish their work in the Springer LNCS formal proceedings. Program Committee Sergio Antoy (Portland State University, USA) Demis Ballis (University of Udine, Italy) Moreno F

[Haskell] Call for participation: BOPL 2020 (LOPSTR, Microservices, PPDP, WFLP)

CALL FOR PARTICIPATION: BOPL 2020 Bologna Federated Conference on Programming Languages September 7-10, 2020 Online at https://bopl.cs.unibo.it Registration deadline: September 3, 2020 Registration fee: 30 euros. The Bologna Federated Conference on Programming Languages brings together four top

<    1   2   3   >