[Haskell] ANN: monad-bool 0.1

2013-01-22 Thread John Wiegley
again provides a default value), 'bar' returns 150. And please, somebody let me know if this has already been done. A search for likely candidates did not turn up anything obvious in Hoogle, but as my knowledge of the whole of Hackage is minimal, I would appreciate any wiser minds that

[Haskell] ANNOUNCE: hlibgit2 0.18.0.1

2013-04-20 Thread John Wiegley
ues/1492 is addressed in a more satisifying way. Please let me know of any issues you encounter here: https://github.com/fpco/gitlib Thank you, -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com joh

Re: [Haskell] [Haskell-cafe] ANNOUNCE: posix-paths, for faster file system operations

2013-08-21 Thread John Wiegley
ave deficiencies that your rendition corrects? -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com johnw on #haskell/irc.freenode.net ___ Haskell mailing list Haskell@haskell.org http

[Haskell] ANN: git-monitor

2015-01-22 Thread John Wiegley
lar basis for more than a year now, so I felt it finally deserved an announcement here. Thank you, John Wiegley (johnw on IRC/freenode) ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

Re: [Haskell] ANN: git-monitor

2015-01-22 Thread John Wiegley
>>>>> John Wiegley writes: > https://github.com/jwiegley/git-monitor The page is: https://github.com/jwiegley/gitlib John ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell] ANN: linearscan, linearscan-hoopl 1.0.0

2015-11-20 Thread John Wiegley
implemented by this library was first written in Java by Hanspeter Mössenböck and Michael Pfeiffer[11], and later improved upon by Christian Wimmer[12], whose master's thesis provided the specification for our implementation. John Wiegley BAE Systems Footnotes: [1] http://hackage.haskell.org/pa

Re: [Haskell] [Coq-Club] ANN: linearscan, linearscan-hoopl 1.0.0

2015-11-20 Thread John Wiegley
> Beta Ziliani writes: > I'd be interested to know what was the outcome of the project from the point > of view of BEA Systems. Is there any report about it? >From BAE's point of view, we gained some industrial perspective. Separately, I have prepared an experience report that is currently s

[Haskell] Call for Haskell.org committee self-nominations

2016-02-18 Thread John Wiegley
of us individually. Thank you, -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 signature.asc Description: PGP signature ___ Haskell mailing list Ha

[Haskell] ANN: New Haskell.org committee members

2016-04-21 Thread John Wiegley
-nominate again in the future. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 signature.asc Description: PGP signature ___ Haskell mailing list Haskell

[Haskell] Work on mail.haskell.org beginning, please report any problems

2016-12-22 Thread John Wiegley
Thank you, John Wiegley Haskell.org, infrastructure team ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Re: [Haskell] regex: a toolkit for regex-base

2017-03-09 Thread John Wiegley
re (like proper unicode support), or has undesirable external dependencies. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 ___ Haskell m

[Haskell] [Philip Wadler] IOHK is hiring six PLT engineers

2018-02-10 Thread John Wiegley
This message being sent to you on behalf of Philip Wadler: IOHK is hiring six Programming Language Theory engineers, to design and implement the smart contract language Plutus and related domain specific languages. Designing scripting languages for smart contracts is a challenging topic, as it is