hello Wvv,
a lot of these ideas have been explored before in related (albeit
"simpler") languages to haskell, are you familiar with idris, coq, or agda?
cheers
-Carter
On Fri, Jul 26, 2013 at 4:42 PM, Wvv wrote:
> It was discussed a bit here:
> http://ghc.haskell.org/trac/ghc/ticket/8090
>
>
On Sat, 27 Jul 2013 15:44:44 +0100
Claude Heiland-Allen wrote:
> Perhaps it's a terminology confusion: in GTK, "activate" for an entry
> means "pressing return key". This program works fine for me, pressing
> return prints the text I entered in the box:
>
> 8<
> import Graphics.UI.Gtk
>
Hi Brian,
On 25/07/13 04:14, bri...@aracnet.com wrote:
> This should be simple, and I thought it had it working, but I've broken it
> and can't figure out why.
>
> What I want is to invoke the callback whenever the user activates and entry
> in a dialogbox, so I did both this :
Not sure what y
Put a Just around it?
transMit s now key (Just newmsgs) q m
On Sat 27 Jul 2013 20:05:43 JST, Joerg Fritsch wrote:
> If I have the following type signature
> transMit :: Serialize a => Socket -> POSIXTime -> KEY -> Maybe a -> TPSQ ->
> TMap a -> IO ()
>
>
> And the function is called with
> trans
If I have the following type signature
transMit :: Serialize a => Socket -> POSIXTime -> KEY -> Maybe a -> TPSQ ->
TMap a -> IO ()
And the function is called with
transMit s now key newmsgs q m
where newmsgs is whatever type a I get but _not_ a Maybe a
then I get the error
Could not deduce (
Scrz (http://scrz.io) is a container (LXC) management tool. It is heavily
inspired by docker and heroku, but also provides features which those two
don't have. It comes in two parts, one is the supervisor which manages the
containers, the other is a server which stores the configuration. The
superv
