Logs: freenode/#haskell
| 2021-03-11 13:42:25 | × | xlei quits (znc@unaffiliated/xlei) (Quit: ZNC - https://znc.in) |
| 2021-03-11 13:42:58 | × | eyenx quits (~eyenxeyen@unaffiliated/eye/x-1653358) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-11 13:43:34 | → | Lycurgus joins (~niemand@98.4.114.199) |
| 2021-03-11 13:43:45 | × | puffnfresh quits (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 264 seconds) |
| 2021-03-11 13:44:10 | → | troydm joins (~troydm@unaffiliated/troydm) |
| 2021-03-11 13:44:58 | × | drbean quits (~drbean@TC210-63-209-84.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-03-11 13:46:11 | → | puffnfresh joins (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
| 2021-03-11 13:46:43 | × | raym quits (~ray@45.64.220.113) (Quit: leaving) |
| 2021-03-11 13:48:19 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-11 13:48:38 | × | son0p quits (~son0p@181.58.39.182) (Quit: Lost terminal) |
| 2021-03-11 13:49:51 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-03-11 13:50:05 | <tomsmeding> | :t \f -> maybe [] f . Data.List.NonEmpty.nonEmpty |
| 2021-03-11 13:50:08 | <lambdabot> | (NonEmpty a1 -> [a2]) -> [a1] -> [a2] |
| 2021-03-11 13:50:19 | <tomsmeding> | though "something nicer" is debatable merijn |
| 2021-03-11 13:50:21 | × | toorevitimirp quits (~tooreviti@117.182.183.154) (Ping timeout: 264 seconds) |
| 2021-03-11 13:50:41 | → | xlei joins (znc@unaffiliated/xlei) |
| 2021-03-11 13:52:09 | → | idhugo__ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-11 13:53:05 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-11 13:53:31 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-11 13:53:39 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-03-11 13:54:27 | × | idhugo_ quits (~idhugo@80-62-116-208-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 2021-03-11 13:56:57 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-11 13:57:57 | → | bergey`` joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-03-11 13:58:14 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-03-11 13:58:58 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-11 13:59:15 | → | jollygood2 joins (~bc8134e3@217.29.117.252) |
| 2021-03-11 13:59:30 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2021-03-11 14:00:39 | bergey`` | is now known as bergey |
| 2021-03-11 14:01:13 | × | LKoen quits (~LKoen@194.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-03-11 14:03:12 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-11 14:04:21 | → | lewky joins (816b5083@129.107.80.131) |
| 2021-03-11 14:05:04 | → | Waifod joins (Waifod@gateway/vpn/protonvpn/waifod) |
| 2021-03-11 14:05:47 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-11 14:06:15 | <jollygood2> | . |
| 2021-03-11 14:07:12 | × | fr33domlover quits (~fr33domlo@fsf/member/fr33domlover) (Quit: fr33domlover) |
| 2021-03-11 14:07:13 | → | tzlil joins (~tzlil@unaffiliated/tzlil) |
| 2021-03-11 14:07:15 | <geekosaur> | ! |
| 2021-03-11 14:07:36 | → | fr33domlover joins (~fr33domlo@fsf/member/fr33domlover) |
| 2021-03-11 14:08:21 | × | GZJ0X_ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-11 14:09:33 | × | b3z quits (~b3z@vmd41962.contaboserver.net) (Ping timeout: 264 seconds) |
| 2021-03-11 14:11:17 | → | Psybur joins (~user@unaffiliated/psybur) |
| 2021-03-11 14:11:33 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-03-11 14:12:36 | → | son0p joins (~son0p@181.136.122.143) |
| 2021-03-11 14:12:44 | × | Waifod quits (Waifod@gateway/vpn/protonvpn/waifod) (Ping timeout: 272 seconds) |
| 2021-03-11 14:12:58 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:1dd0:e98c:d026:cc3a) |
| 2021-03-11 14:12:58 | × | idhugo__ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 245 seconds) |
| 2021-03-11 14:13:41 | → | ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-11 14:13:53 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) |
| 2021-03-11 14:14:24 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-11 14:15:14 | aweinsto1k | is now known as aweinstock |
| 2021-03-11 14:17:14 | × | ubert quits (~Thunderbi@p200300ecdf25d965e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-03-11 14:18:02 | × | poscat quits (~poscat@2408:8207:4829:8650::1) (Remote host closed the connection) |
| 2021-03-11 14:18:13 | → | ubert joins (~Thunderbi@p200300ecdf25d965e6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-03-11 14:18:18 | → | Waifod joins (~Waifod@91.106.123.186) |
| 2021-03-11 14:18:38 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Ping timeout: 264 seconds) |
| 2021-03-11 14:20:03 | → | poscat joins (~poscat@123.116.89.28) |
| 2021-03-11 14:20:55 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-11 14:21:33 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 264 seconds) |
| 2021-03-11 14:23:22 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 14:24:01 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-11 14:24:21 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 14:25:11 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-11 14:25:31 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 14:25:50 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-03-11 14:26:30 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:1dd0:e98c:d026:cc3a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-11 14:28:22 | → | Wuzzy joins (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) |
| 2021-03-11 14:29:04 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-11 14:30:35 | → | zebrag joins (~inkbottle@alagny-551-1-20-55.w83-200.abo.wanadoo.fr) |
| 2021-03-11 14:33:27 | → | carlomagno joins (~cararell@148.87.23.9) |
| 2021-03-11 14:34:29 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-11 14:34:52 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 2021-03-11 14:35:56 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-11 14:36:06 | × | redmp quits (~redmp@172.58.19.94) (Ping timeout: 246 seconds) |
| 2021-03-11 14:38:28 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-03-11 14:39:15 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Ping timeout: 246 seconds) |
| 2021-03-11 14:42:02 | × | acidjnk_new quits (~acidjnk@p200300d0c72b95955d3c722039acad7c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-03-11 14:43:00 | → | redmp joins (~redmp@172.58.38.165) |
| 2021-03-11 14:45:08 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-03-11 14:45:58 | → | MrMobius joins (~MrMobius@208.58.206.154) |
| 2021-03-11 14:46:43 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-11 14:48:52 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 2021-03-11 14:50:37 | × | NinjaTrappeur quits (~ninja@unaffiliated/ninjatrappeur) (Ping timeout: 272 seconds) |
| 2021-03-11 14:51:47 | → | NinjaTrappeur joins (~ninja@unaffiliated/ninjatrappeur) |
| 2021-03-11 14:52:08 | × | sablib1 quits (~sablib@171.113.166.178) (Quit: WeeChat 3.0) |
| 2021-03-11 14:52:45 | → | kam1 joins (~kam1@83.123.154.198) |
| 2021-03-11 14:53:27 | × | kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 2021-03-11 14:55:21 | × | minoru_shiraeesh quits (~shiraeesh@5.101.59.76) (Ping timeout: 246 seconds) |
| 2021-03-11 14:58:46 | → | ShalokShalom joins (b9110d05@gateway/web/cgi-irc/kiwiirc.com/ip.185.17.13.5) |
| 2021-03-11 14:59:12 | × | zangi quits (~azure@103.154.230.250) (Ping timeout: 246 seconds) |
| 2021-03-11 14:59:31 | → | zangi joins (~azure@103.154.230.250) |
| 2021-03-11 15:00:57 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-skqtalghxubvhphg) |
| 2021-03-11 15:01:25 | → | minoru_shiraeesh joins (~shiraeesh@5.101.59.76) |
| 2021-03-11 15:02:02 | × | redmp quits (~redmp@172.58.38.165) (Ping timeout: 260 seconds) |
| 2021-03-11 15:03:04 | → | alexandros-liaro joins (~veritas@2a02:587:2419:271c:d0ae:3a3:c92:5deb) |
| 2021-03-11 15:03:12 | → | idhugo__ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-11 15:05:04 | → | ADG1089__ joins (~aditya@223.226.229.230) |
| 2021-03-11 15:05:38 | → | CrazyPyt_ joins (~crazypyth@98.122.164.118) |
| 2021-03-11 15:05:42 | <alexandros-liaro> | hi there! I want to process a family of mutually recursive datatypes. From skimming through it seems that most interesting libraries are multirec, compdata and generics-mrsop |
| 2021-03-11 15:06:15 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 2021-03-11 15:06:18 | → | teardown_ joins (~user@gateway/tor-sasl/mrush) |
All times are in UTC.