00:00:00 --- log: started haskell/01.12.26
03:47:36 --- join: shapr (~user@p-c2fbaba8.easy.inet.fi) joined #haskell
03:51:21 <shapr> merry xmas haskellers!
03:52:17 <xbill> merry xmas
05:06:09 --- quit: shapr (Remote closed the connection)
08:47:12 --- join: Wittekind (~Autosoph@A4a22.pppool.de) joined #haskell
08:47:42 <Wittekind> hello.
08:47:59 <Wittekind> is there a channel for logic programming or automatic theorem proving as well?
09:07:38 --- quit: Wittekind ("[x]chat")
11:59:45 --- join: Wittekind (~Autosoph@B9001.pppool.de) joined #haskell
12:33:30 --- quit: Wittekind ("[x]chat")
15:44:37 --- quit: xbill (carter.openprojects.net irc.openprojects.net)
15:44:37 --- quit: smklsmkl (carter.openprojects.net irc.openprojects.net)
15:44:37 --- quit: jlb (carter.openprojects.net irc.openprojects.net)
15:47:04 --- join: smklsmkl (~sami@glubimox.yok.utu.fi) joined #haskell
15:47:22 --- quit: dennisb (Ping timeout: 180 seconds)
15:47:36 --- join: dennisb (~dennis@as2-4-3.an.g.bonet.se) joined #haskell
15:47:52 --- join: jlb (~ktk@jeremeydsl-3.mylinuxisp.com) joined #haskell
16:36:56 --- join: xbill (wli@DOMINIA.MIT.EDU) joined #haskell
23:51:22 --- join: julien (~julien@uu212-190-122-70.unknown.uunet.be) joined #haskell
23:52:57 <julien> hi al
23:53:00 <julien> +l
23:59:59 --- log: ended haskell/01.12.26