2014-04-01 17:42:09 +0000jfojtl(~jfojtl@gw1.globalcom.cz)
2014-04-01 17:46:47 +0000jfojtl(~jfojtl@gw1.globalcom.cz) (Ping timeout: 246 seconds)
2014-04-01 17:52:30 +0000planetcall|work(~planetcal@unaffiliated/planetcalls) (Quit: Leaving)
2014-04-01 17:56:38 +0000planetcall|work(~planetcal@unaffiliated/planetcalls)
2014-04-01 17:58:27 +0000asturel_(asturel@unaffiliated/asturel)
2014-04-01 17:58:43 +0000asturel(asturel@unaffiliated/asturel) (Ping timeout: 264 seconds)
2014-04-01 17:58:43 +0000asturel_asturel
2014-04-01 18:27:40 +0000OlegYch(~OlegYch@212.98.173.87) (Read error: Operation timed out)
2014-04-01 18:45:02 +0000fholm(~fholm@c-d543e555.138-10-64736c10.cust.bredbandsbolaget.se) ()
2014-04-01 18:51:05 +0000 <jrmithdobbs> is there anything equiv to ghc 7.8's typeholes?
2014-04-01 18:51:22 +0000 <jrmithdobbs> even if just for fsi
2014-04-01 19:01:30 +0000tomboy64(~tomboy@unaffiliated/tomboy64)
2014-04-01 19:01:40 +0000 <tomboy64> hello folks
2014-04-01 19:02:02 +0000 <tomboy64> i'm using linux and looking for a freely available introduction to f#
2014-04-01 19:02:32 +0000 <tomboy64> i stumbled over f#succinctly, but it seems to not work with f# 3.1
2014-04-01 19:03:05 +0000 <tomboy64> at least i'm getting fsharp-succinctly/Chapter2/HelloWorld/Program.fs(4,1): warning FS0020: This expression should have type 'unit', but has type 'string'. Use 'ignore' to discard the result of the expression, or 'let' to bind the result to a name. when trying to compile "HelloWorld.fs"
2014-04-01 19:03:21 +0000 <tomboy64> (an example from chapter 2)
2014-04-01 19:03:35 +0000 <jrmithdobbs> that's just a warning
2014-04-01 19:03:48 +0000 <jrmithdobbs> |> ignore the statement in question if you don't want to see the warning
2014-04-01 19:04:02 +0000 <tomboy64> fair enough :)
2014-04-01 19:04:07 +0000 <tomboy64> okay
2014-04-01 19:04:15 +0000 <tomboy64> thank you
2014-04-01 19:04:57 +0000tomboy64(~tomboy@unaffiliated/tomboy64) (Quit: Uhh ... gotta go.)
2014-04-01 19:05:33 +0000tomboy64(~tomboy@unaffiliated/tomboy64)
2014-04-01 19:16:15 +0000NoNNaN(~NoNNaN@gateway/tor-sasl/nonnan) (Ping timeout: 265 seconds)
2014-04-01 19:17:49 +0000NoNNaN(~NoNNaN@gateway/tor-sasl/nonnan)
2014-04-01 19:34:37 +0000OlegYch(~OlegYch@212.98.173.87)
2014-04-01 19:40:37 +0000milLions(~Lions@2600:100f:b019:1492::103)
2014-04-01 19:48:43 +0000jackneill(~jackneill@unaffiliated/jackneill) (Quit: WeeChat 0.4.3)
2014-04-01 20:00:55 +0000chiburbs(~ABAD\andr@2601:d:3500:2d:119d:eec4:515b:cce0)
2014-04-01 20:01:40 +0000chiburbsKD9AUS
2014-04-01 20:06:35 +0000KD9AUS(~ABAD\andr@2601:d:3500:2d:119d:eec4:515b:cce0) ("Konversation terminated!")
2014-04-01 20:13:32 +0000sepp2k(~sepp2k@g224145191.adsl.alicedsl.de)
2014-04-01 20:13:57 +0000funkbox(~textual@unaffiliated/funkbox) (Quit: Textual IRC Client: www.textualapp.com)
2014-04-01 20:21:22 +0000planetcall|work(~planetcal@unaffiliated/planetcalls) (Quit: Leaving)