Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 441 442 443 444 445 446 447 448 449 450 451 .. 5022
— 502,152 events total
2020-10-05 20:25:52 × thecoffemaker quits (~thecoffem@unaffiliated/thecoffemaker) (Ping timeout: 244 seconds)
2020-10-05 20:25:52 × noCheese quits (~nocheese@unaffiliated/nocheese) (Ping timeout: 244 seconds)
2020-10-05 20:25:52 × drbrule quits (sid395654@gateway/web/irccloud.com/x-upjwrhbxkttxvnlr) (Ping timeout: 244 seconds)
2020-10-05 20:25:52 × JSharp quits (sid4580@wikia/JSharp) (Ping timeout: 244 seconds)
2020-10-05 20:25:52 × rusua quits (uid124537@gateway/web/irccloud.com/x-sysvorkqwbosrbwq) (Ping timeout: 244 seconds)
2020-10-05 20:25:52 × fiadliel quits (sid399568@gateway/web/irccloud.com/x-hgzpvwimdwujzolw) (Ping timeout: 244 seconds)
2020-10-05 20:25:52 × scav quits (sid309693@gateway/web/irccloud.com/x-dpbxtezevjogbqll) (Ping timeout: 244 seconds)
2020-10-05 20:25:52 × nick_h quits (sid319833@gateway/web/irccloud.com/x-srdcrkvbqjanzjcu) (Ping timeout: 244 seconds)
2020-10-05 20:25:52 × albethere quits (sid457088@gateway/web/irccloud.com/x-cltqfsvqlhbhhdqu) (Ping timeout: 244 seconds)
2020-10-05 20:25:52 × siraben quits (sirabenmat@gateway/shell/matrix.org/x-pabygdewelkoamni) (Ping timeout: 244 seconds)
2020-10-05 20:25:52 × banjiewen quits (sid115913@gateway/web/irccloud.com/x-mooiusydhgfmcvhk) (Ping timeout: 244 seconds)
2020-10-05 20:25:52 × iinuwa1 quits (iinuwamatr@gateway/shell/matrix.org/x-kbcyykvavbzbuwyo) (Ping timeout: 244 seconds)
2020-10-05 20:25:53 × jtojnar quits (jtojnarmat@gateway/shell/matrix.org/x-oypragrwlxqgnchv) (Ping timeout: 244 seconds)
2020-10-05 20:25:53 × alexfmpe quits (alexfmpema@gateway/shell/matrix.org/x-svcqerpqtkauzjui) (Ping timeout: 244 seconds)
2020-10-05 20:25:53 × raoulb quits (~weechat@stateless.vsos.ethz.ch) (Ping timeout: 244 seconds)
2020-10-05 20:25:53 × DwarfMaster quits (~luc@2001:41d0:8:109c::1) (Ping timeout: 244 seconds)
2020-10-05 20:25:53 × jokester quits (~mono@unaffiliated/jokester) (Ping timeout: 244 seconds)
2020-10-05 20:25:53 × cheers quits (user@unaffiliated/cheers) (Ping timeout: 244 seconds)
2020-10-05 20:25:53 × glowpelt quits (~myst@focks.pw) (Ping timeout: 244 seconds)
2020-10-05 20:25:53 × Forkk quits (forkk@2600:3c00::f03c:91ff:fe84:de4d) (Ping timeout: 244 seconds)
2020-10-05 20:25:53 × vqrs quits (~vqrs@learnprogramming/regular/vqrs) (Ping timeout: 244 seconds)
2020-10-05 20:25:53 × verlet64_ quits (sid261276@gateway/web/irccloud.com/x-qmypxhhdelafasaj) (Ping timeout: 244 seconds)
2020-10-05 20:25:53 × bitonic quits (sid61915@gateway/web/irccloud.com/x-gpvtxexabdepunck) (Ping timeout: 244 seconds)
2020-10-05 20:25:53 × angerman quits (sid209936@gateway/web/irccloud.com/x-ueaytjplpxideopo) (Ping timeout: 244 seconds)
2020-10-05 20:25:53 × unclechu quits (unclechuma@gateway/shell/matrix.org/x-bgindqyxdmllwdai) (Ping timeout: 244 seconds)
2020-10-05 20:25:53 × GuillaumeChrel[m quits (guillaumec@gateway/shell/matrix.org/x-jdchaaocbuitwfmn) (Ping timeout: 244 seconds)
2020-10-05 20:25:54 × Ericson2314 quits (ericson231@gateway/shell/matrix.org/x-vfqdqvnkedexzixl) (Ping timeout: 244 seconds)
2020-10-05 20:25:54 × nihilazo quits (nihilazoma@gateway/shell/matrix.org/x-nhbxnzosodzhmhyx) (Ping timeout: 244 seconds)
2020-10-05 20:25:54 × gcoakes[m] quits (gcoakesmat@gateway/shell/matrix.org/x-flwpwnktpkouxpwp) (Ping timeout: 244 seconds)
2020-10-05 20:25:54 × Fernando-Basso[m quits (fernando-b@gateway/shell/matrix.org/x-qopgtqduxfsjtqbe) (Ping timeout: 244 seconds)
2020-10-05 20:25:54 × crtschin_ quits (~crtschin@2604:a880:800:10::3126:f001) (Ping timeout: 244 seconds)
2020-10-05 20:25:54 × shadowdao quits (~user@unaffiliated/shadowdaemon) (Ping timeout: 244 seconds)
2020-10-05 20:25:54 × incognito9999 quits (~incognito@hwsrv-648981.hostwindsdns.com) (Ping timeout: 244 seconds)
2020-10-05 20:25:54 × recon_-_ quits (~quassel@2602:febc:0:b6::6ca2) (Ping timeout: 244 seconds)
2020-10-05 20:25:54 × Niamkik quits (~Niamkik@2a00:5884:8219::1) (Ping timeout: 244 seconds)
2020-10-05 20:25:54 × joeyh quits (~joeyh@kitenet.net) (Ping timeout: 244 seconds)
2020-10-05 20:25:54 × _flow_ quits (~none@salem.informatik.uni-erlangen.de) (Ping timeout: 244 seconds)
2020-10-05 20:25:54 × atomi quits (~atomi@35.71.197.35.bc.googleusercontent.com) (Ping timeout: 244 seconds)
2020-10-05 20:25:54 × megaTherion quits (~therion@coruscant.unix.io) (Ping timeout: 244 seconds)
2020-10-05 20:25:54 SrPx_ is now known as SrPx
2020-10-05 20:25:54 alanz_ is now known as alanz
2020-10-05 20:25:54 <int-e> (limitations compared to other IVar implementations)
2020-10-05 20:25:55 jlpeters_ is now known as jlpeters
2020-10-05 20:25:55 J_Arcane_ is now known as J_Arcane
2020-10-05 20:25:55 banjiewen_ is now known as banjiewen
2020-10-05 20:25:55 eruditass_ is now known as eruditass
2020-10-05 20:25:55 scav_ is now known as scav
2020-10-05 20:25:56 drbrule_ is now known as drbrule
2020-10-05 20:25:56 m-renaud_ is now known as m-renaud
2020-10-05 20:25:56 fiadliel_ is now known as fiadliel
2020-10-05 20:25:56 JSharp_ is now known as JSharp
2020-10-05 20:25:59 albethere_ is now known as albethere
2020-10-05 20:26:01 bitonic_ is now known as bitonic
2020-10-05 20:26:21 → thecoffemaker joins (~thecoffem@unaffiliated/thecoffemaker)
2020-10-05 20:26:22 → rawles joins (~r@unaffiliated/rawles)
2020-10-05 20:26:25 → crtschin joins (~crtschin@104.131.9.149)
2020-10-05 20:26:28 → raoulb joins (~weechat@stateless.vsos.ethz.ch)
2020-10-05 20:26:35 → vqrs joins (~vqrs@learnprogramming/regular/vqrs)
2020-10-05 20:26:37 → Niamkik joins (~Niamkik@80.67.190.201)
2020-10-05 20:26:50 ski . o O ( the joy of Matrix and IRCCloud netsplits ? )
2020-10-05 20:26:52 → alexfmpe joins (alexfmpema@gateway/shell/matrix.org/x-armmrcevlxedikov)
2020-10-05 20:27:11 → gcoakes[m] joins (gcoakesmat@gateway/shell/matrix.org/x-klflsytbyxwgnxns)
2020-10-05 20:27:25 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-05 20:27:27 → knupfer1 joins (~Thunderbi@87.123.206.236)
2020-10-05 20:27:27 × knupfer1 quits (~Thunderbi@87.123.206.236) (Client Quit)
2020-10-05 20:27:28 → joeyh_ joins (joeyh@kitenet.net)
2020-10-05 20:27:28 → nick_h_ joins (sid319833@gateway/web/irccloud.com/session)
2020-10-05 20:27:28 → verlet64__ joins (sid261276@gateway/web/irccloud.com/session)
2020-10-05 20:27:28 → angerman_ joins (sid209936@gateway/web/irccloud.com/session)
2020-10-05 20:27:28 → noCheese` joins (~nocheese@gw2.aibor.de)
2020-10-05 20:27:28 → recon_- joins (~quassel@2602:febc:0:b6::6ca2)
2020-10-05 20:27:28 → jokester_ joins (~mono@2001:19f0:5:1e1d:5400:1ff:fe45:5877)
2020-10-05 20:27:28 noCheese` is now known as noCheese
2020-10-05 20:27:28 nick_h_ is now known as nick_h
2020-10-05 20:27:28 verlet64__ is now known as verlet64_
2020-10-05 20:27:28 → _flow_ joins (~none@salem.informatik.uni-erlangen.de)
2020-10-05 20:27:28 × nick_h quits (sid319833@gateway/web/irccloud.com/session) (Changing host)
2020-10-05 20:27:28 → nick_h joins (sid319833@gateway/web/irccloud.com/x-omwgtsberokhnnup)
2020-10-05 20:27:28 × verlet64_ quits (sid261276@gateway/web/irccloud.com/session) (Changing host)
2020-10-05 20:27:28 → verlet64_ joins (sid261276@gateway/web/irccloud.com/x-xjfovybibszlojpl)
2020-10-05 20:27:28 × angerman_ quits (sid209936@gateway/web/irccloud.com/session) (Changing host)
2020-10-05 20:27:28 → angerman_ joins (sid209936@gateway/web/irccloud.com/x-oahfetnahbdvwgfo)
2020-10-05 20:27:33 × noCheese quits (~nocheese@gw2.aibor.de) (Changing host)
2020-10-05 20:27:33 → noCheese joins (~nocheese@unaffiliated/nocheese)
2020-10-05 20:27:45 int-e nods
2020-10-05 20:27:54 → cosimone joins (~user@2001:b07:ae5:db26:f68c:50ff:fe0b:b774)
2020-10-05 20:27:55 × cosimone quits (~user@2001:b07:ae5:db26:f68c:50ff:fe0b:b774) (Remote host closed the connection)
2020-10-05 20:27:58 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-05 20:27:59 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-05 20:27:59 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-05 20:28:02 <ski> so, then the question is whether to induct on `m' or on `n' in `m + n'. i think, from a certain standpoint, it makes more sense to induct on `m'
2020-10-05 20:28:12 → unclechu joins (unclechuma@gateway/shell/matrix.org/x-cpldnwvuqpqtgahy)
2020-10-05 20:28:12 → Fernando-Basso[m joins (fernando-b@gateway/shell/matrix.org/x-uztapoiqhwkucfsg)
2020-10-05 20:28:19 → nihilazo joins (nihilazoma@gateway/shell/matrix.org/x-bfhysqnthnkkkyqj)
2020-10-05 20:28:22 → cosimone joins (~user@2001:b07:ae5:db26:f68c:50ff:fe0b:b774)
2020-10-05 20:28:25 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds)
2020-10-05 20:28:51 <ski> when listing naturals in order, we tend to list them with `Z' at the leftmost, then, going rightwards, `S Z',`S (S Z)',&c.
2020-10-05 20:29:01 → siraben joins (sirabenmat@gateway/shell/matrix.org/x-zlvwcpsxsnpcahft)
2020-10-05 20:29:02 → jtojnar joins (jtojnarmat@gateway/shell/matrix.org/x-gjvcckkmfrtqleyn)
2020-10-05 20:29:02 → iinuwa1 joins (iinuwamatr@gateway/shell/matrix.org/x-vozqawbtzhuizygn)
←Prev  Next→
Page 1 .. 441 442 443 444 445 446 447 448 449 450 451 .. 5022

All times are in UTC.