00:00:00 --- log: started retro/13.07.15
03:39:09 --- join: UrsPolar (~ColdBear@70-155-11.connect.netcom.no) joined #retro
05:02:14 --- quit: UrsPolar (Quit: I wonder what happens if I press this cool looking, red butto...)
05:02:31 --- join: UrsPolar (~ColdBear@70-155-11.connect.netcom.no) joined #retro
05:08:11 --- quit: UrsPolar (Quit: I wonder what happens if I press this cool looking, red butto...)
05:08:39 --- join: UrsPolar (~ColdBear@70-155-11.connect.netcom.no) joined #retro
05:58:18 --- quit: UrsPolar (Quit: I wonder what happens if I press this cool looking, red butto...)
05:58:44 --- join: UrsPolar (~ColdBear@70-155-11.connect.netcom.no) joined #retro
06:26:33 --- quit: UrsPolar (Quit: I wonder what happens if I press this cool looking, red butto...)
06:31:40 --- join: UrsPolar (~ColdBear@70-155-11.connect.netcom.no) joined #retro
06:42:17 --- join: itsy (~digital_w@247.157.125.91.dyn.plus.net) joined #retro
06:43:11 --- quit: UrsPolar (Ping timeout: 276 seconds)
06:48:48 --- join: UrsPolar (~ColdBear@70-155-11.connect.netcom.no) joined #retro
06:52:56 --- quit: itsy (Ping timeout: 276 seconds)
07:17:20 --- join: Kumul (~nmz@adsl-64-237-235-119.prtc.net) joined #retro
08:53:22 --- quit: Kumul (Quit: Divided by 0)
08:58:06 --- join: Mat2 (~claude@91-65-144-133-dynip.superkabel.de) joined #retro
08:58:11 <Mat2> hi @ all
10:14:47 <Mat2> ciao
10:14:50 --- quit: Mat2 (Quit: Verlassend)
10:28:52 --- join: ncv (~quassel@79.113.83.237) joined #retro
10:28:52 --- quit: ncv (Changing host)
10:28:52 --- join: ncv (~quassel@unaffiliated/neceve) joined #retro
12:24:55 --- join: Mat2 (~claude@91-65-144-133-dynip.superkabel.de) joined #retro
12:25:00 <Mat2> hi @ all
12:41:34 <Mat2> after my experiences with the strict type-system of nimrod I found the whole idea not very helpful
12:43:39 <Mat2> types should have a semantic meaning for implicit type-conversion, resucing coding overhead  and not unnecessary limit expressiveness
12:43:47 <Mat2> ^reducing
12:45:44 <Mat2> of a programming language
12:46:46 --- quit: tangentstorm (Quit: WeeChat 0.3.2)
13:31:17 --- join: AndChat-212400 (~ColdBear@ip-88-40-72-178.dialup.ice.net) joined #retro
13:35:17 --- quit: UrsPolar (Ping timeout: 276 seconds)
13:43:23 --- nick: AndChat-212400 -> UrsPolar
14:19:48 --- quit: ncv (Remote host closed the connection)
14:22:04 <Mat2> ciao
14:22:07 --- quit: Mat2 (Quit: Verlassend)
14:35:16 --- quit: sirdancealot (Ping timeout: 240 seconds)
15:54:06 --- join: sirdancealot (~sirdancea@98.82.broadband5.iol.cz) joined #retro
17:01:37 --- join: AndChat-212400 (~ColdBear@129-74-11.connect.netcom.no) joined #retro
17:02:03 --- join: polar-bear (~polarbear@138.124.10.66) joined #retro
17:04:41 --- quit: UrsPolar (Ping timeout: 252 seconds)
17:05:05 --- quit: ColdBear (Ping timeout: 245 seconds)
17:05:48 --- quit: AndChat-212400 (Ping timeout: 240 seconds)
21:16:44 --- join: tangentstorm (~michal@108.218.151.22) joined #retro
22:21:54 --- join: ColdBear (~ColdBear@138.124.10.66) joined #retro
22:39:19 --- join: UrsPolar (~ColdBear@209-70-11.connect.netcom.no) joined #retro
22:40:53 --- quit: ColdBear (Ping timeout: 252 seconds)
22:52:38 --- quit: polar-bear (Ping timeout: 240 seconds)
22:55:24 --- quit: UrsPolar (Quit: I wonder what happens if I press this cool looking, red butto...)
22:55:58 --- join: ColdBear (~ColdBear@209-70-11.connect.netcom.no) joined #retro
23:08:31 --- join: polar-bear (~polarbear@138.124.10.66) joined #retro
23:47:13 --- join: UrsPolar (~ColdBear@219-189-11.connect.netcom.no) joined #retro
23:49:38 --- quit: ColdBear (Ping timeout: 240 seconds)
23:59:59 --- log: ended retro/13.07.15