Hi
On 10.12.18 12:12, Alex Silva wrote:
On 10/12/2018 12:06, Jerzy Karczmarczuk wrote:
The intelligence is crucial here. It is not democratically distributed
[[my goodness, am I already insulting people?!]], so we will always
need Constitutions, Catechisms, sportmanship rules, etc., even witho
Hi,
I am pleased to announce the first public release of global-variables. A
package
providing a global namespace for IORefs, MVars, and TVars.
Hackage URL: http://hackage.haskell.org/package/global-variables-1.0
Source: http://bitbucket.org/jmg/global-variables/
Description:
---
GHC6, write [$s|…|] instead of
> [s|…|].
>
> Suggestions and feedback are most welcome. :-)
>
> Cheers,
> Audrey
>
> _______
> Haskell mailing list
> Haskell@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell
--
Hi Romain,
are you aware of Haskabelle [1], a Haskell to Isabelle/HOL converter?
I've never used or investigated it.
> On 25.10.2010, at 10:09, Romain Demeyer wrote:
>
>> Hello,
>>
>> I'm working on static verification in Haskell, and I search for existing
>> works on specification of Haskel
Hi Brett,
On 11.06.2010, at 04:53, Brett Giles wrote:
> I seem to have Gtk2HS 0.11 installed, but not quite working. Interestingly, I
> can run a demo, such as the hello/World.hs example, directly in ghci.
> However, when I try to do a ghc --make on any code containing gtk2hs I get a
> link er
