Logs: freenode/#haskell
| 2021-04-16 12:13:32 | <thblt> | larryba: should it? Shouldn't the glob be "/**/t*"? |
| 2021-04-16 12:14:24 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-16 12:15:35 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-16 12:15:48 | <hpc> | he left |
| 2021-04-16 12:16:07 | <merijn> | I already said that in #haskell-beginners |
| 2021-04-16 12:17:38 | × | Stanley|00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-04-16 12:17:56 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Quit: Leaving) |
| 2021-04-16 12:19:11 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-16 12:20:11 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-04-16 12:21:11 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-04-16 12:21:53 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds) |
| 2021-04-16 12:22:53 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-16 12:23:04 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-16 12:23:18 | × | rprije quits (~rprije@59-102-63-15.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2021-04-16 12:23:27 | <thblt> | Ha sorry, I'm not there. |
| 2021-04-16 12:23:44 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-04-16 12:23:59 | → | edge563 joins (~edge563@gateway/tor-sasl/edge563) |
| 2021-04-16 12:27:10 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 252 seconds) |
| 2021-04-16 12:28:27 | djanatyn1 | is now known as djanatyn |
| 2021-04-16 12:29:04 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection) |
| 2021-04-16 12:29:18 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-16 12:29:33 | × | byorgey quits (~byorgey@155.138.238.211) (Quit: leaving) |
| 2021-04-16 12:29:39 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-04-16 12:30:20 | → | malumore joins (~malumore@151.62.123.125) |
| 2021-04-16 12:30:37 | → | _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net) |
| 2021-04-16 12:30:44 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) |
| 2021-04-16 12:32:04 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-16 12:33:50 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-04-16 12:35:35 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:441:ad95:9496:73d9) |
| 2021-04-16 12:37:09 | → | DTZUZU_ joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-16 12:37:41 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds) |
| 2021-04-16 12:37:41 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds) |
| 2021-04-16 12:37:52 | × | malumore quits (~malumore@151.62.123.125) (Ping timeout: 240 seconds) |
| 2021-04-16 12:38:01 | → | malumore joins (~malumore@151.62.123.125) |
| 2021-04-16 12:38:22 | × | malumore quits (~malumore@151.62.123.125) (Remote host closed the connection) |
| 2021-04-16 12:38:41 | → | malumore joins (~malumore@151.62.123.125) |
| 2021-04-16 12:41:11 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-16 12:45:13 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:441:ad95:9496:73d9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-16 12:45:59 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 268 seconds) |
| 2021-04-16 12:48:32 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-16 12:49:36 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-62.dsl.bell.ca) (Remote host closed the connection) |
| 2021-04-16 12:49:49 | → | sm2n joins (~sm2n@70.54.76.62) |
| 2021-04-16 12:52:54 | → | Kaeipi joins (~Kaiepi@47.54.252.148) |
| 2021-04-16 12:54:25 | × | vv8 quits (~egp_@2.95.117.163) (Ping timeout: 260 seconds) |
| 2021-04-16 12:54:46 | × | Kaeipi quits (~Kaiepi@47.54.252.148) (Read error: No route to host) |
| 2021-04-16 12:55:11 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2021-04-16 12:55:13 | → | Kaeipi joins (~Kaiepi@47.54.252.148) |
| 2021-04-16 12:55:58 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-04-16 12:57:15 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-16 12:58:08 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-16 13:00:14 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-16 13:03:50 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Remote host closed the connection) |
| 2021-04-16 13:03:57 | → | Sorna joins (~Sornaensi@077213199124.dynamic.telenor.dk) |
| 2021-04-16 13:04:06 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) |
| 2021-04-16 13:04:09 | → | ddellacosta joins (~ddellacos@86.106.143.92) |
| 2021-04-16 13:07:43 | × | Sornaensis quits (~Sornaensi@79.142.232.102) (Ping timeout: 252 seconds) |
| 2021-04-16 13:08:29 | × | ddellacosta quits (~ddellacos@86.106.143.92) (Ping timeout: 246 seconds) |
| 2021-04-16 13:11:55 | → | son0p joins (~ff@181.136.122.143) |
| 2021-04-16 13:19:49 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-16 13:20:28 | → | carlomagno joins (~cararell@148.87.23.11) |
| 2021-04-16 13:20:44 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-16 13:26:56 | × | Ranhir quits (~Ranhir@157.97.53.139) (Read error: Connection reset by peer) |
| 2021-04-16 13:27:08 | → | horatiohb joins (~horatiohb@104.236.205.187) |
| 2021-04-16 13:28:32 | → | Sorny joins (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) |
| 2021-04-16 13:28:35 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-16 13:29:00 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-16 13:29:11 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 2021-04-16 13:30:58 | × | Sorna quits (~Sornaensi@077213199124.dynamic.telenor.dk) (Ping timeout: 240 seconds) |
| 2021-04-16 13:38:21 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-04-16 13:38:30 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-16 13:38:34 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-04-16 13:38:38 | × | kuribas quits (~user@ptr-25vy0i78n44u7lpjmac.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-04-16 13:39:26 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-16 13:40:24 | → | darkon joins (~darkon@90.212.77.86) |
| 2021-04-16 13:42:05 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2021-04-16 13:42:56 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-04-16 13:43:08 | × | darko_ quits (~darkon@90.212.77.86) (Ping timeout: 246 seconds) |
| 2021-04-16 13:43:51 | × | kristijonas_ quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-04-16 13:43:52 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-16 13:44:02 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-sbirtyqsxkkyetzh) |
| 2021-04-16 13:44:14 | → | kristijonas_ joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-16 13:45:21 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-04-16 13:45:58 | → | alx741 joins (~alx741@181.196.68.193) |
| 2021-04-16 13:46:56 | → | seven_three joins (~user@pool-96-233-64-53.bstnma.fios.verizon.net) |
| 2021-04-16 13:48:06 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-16 13:48:19 | <seven_three> | Is there a nicer way to derive from Num here? This isnt even complete yet. http://dpaste.com/FGM4RN8N8 |
| 2021-04-16 13:48:57 | × | drbean_ quits (~drbean@TC210-63-209-13.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-04-16 13:49:19 | × | lawid quits (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Quit: lawid) |
| 2021-04-16 13:50:34 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-16 13:51:56 | → | boxscape joins (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
| 2021-04-16 13:51:57 | × | boxscape quits (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Client Quit) |
| 2021-04-16 13:52:01 | → | lawid joins (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
| 2021-04-16 13:52:44 | × | mozzarella quits (~sam@unaffiliated/sam113101) (Remote host closed the connection) |
| 2021-04-16 13:53:16 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-04-16 13:53:28 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-hrpqjuatvrzojcmn) |
| 2021-04-16 13:54:06 | → | mozzarella joins (~sam@unaffiliated/sam113101) |
| 2021-04-16 13:57:10 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 2021-04-16 14:00:39 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-16 14:00:45 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-16 14:03:35 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
All times are in UTC.