Logs: freenode/#haskell
| 2021-03-03 17:01:05 | × | sujeet quits (sujeet@unaffiliated/freeboson) (*.net *.split) |
| 2021-03-03 17:01:05 | × | totoro2021 quits (~t@unaffiliated/totoro2021) (*.net *.split) |
| 2021-03-03 17:01:05 | × | rkrishnan quits (~rkrishnan@rkrishnan.org) (*.net *.split) |
| 2021-03-03 17:01:05 | × | jle` quits (~mstksg@unaffiliated/mstksg) (*.net *.split) |
| 2021-03-03 17:01:05 | × | sim590 quits (~sim590@modemcable090.207-203-24.mc.videotron.ca) (*.net *.split) |
| 2021-03-03 17:01:05 | × | xsarnik0 quits (xsarnik@gateway/shell/fi.muni.cz/x-pkbyatoowiwuqtjg) (*.net *.split) |
| 2021-03-03 17:01:05 | × | aidecoe quits (~aidecoe@unaffiliated/aidecoe) (*.net *.split) |
| 2021-03-03 17:01:05 | × | stilgart quits (~Christoph@chezlefab.net) (*.net *.split) |
| 2021-03-03 17:01:05 | × | Jajik quits (xchlup2@gateway/shell/fi.muni.cz/x-mvogdeasxxfzjncw) (*.net *.split) |
| 2021-03-03 17:01:05 | × | TommyC quits (~TommyC@unaffiliated/sepulchralbloom) (*.net *.split) |
| 2021-03-03 17:01:05 | × | kloeri quits (~kloeri@freenode/staff/exherbo.kloeri) (*.net *.split) |
| 2021-03-03 17:01:05 | × | mupf quits (~micha@v22017094964653601.ultrasrv.de) (*.net *.split) |
| 2021-03-03 17:01:05 | × | jluttine quits (~jluttine@85-23-95-149.bb.dnainternet.fi) (*.net *.split) |
| 2021-03-03 17:01:05 | × | nisstyre quits (~wes@python-zero/conduct-committee/nisstyre) (*.net *.split) |
| 2021-03-03 17:01:05 | × | jathan quits (~jathan@69.61.93.38) (*.net *.split) |
| 2021-03-03 17:01:05 | × | Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (*.net *.split) |
| 2021-03-03 17:01:05 | × | Cathy quits (~Cathy@unaffiliated/cathy) (*.net *.split) |
| 2021-03-03 17:02:31 | × | noctux quits (~noctux@unaffiliated/noctux) (Read error: Connection reset by peer) |
| 2021-03-03 17:03:03 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-03-03 17:03:03 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-03-03 17:03:03 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-03-03 17:03:40 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-03 17:03:40 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-03 17:03:51 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-03 17:03:54 | × | Wuzzy quits (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2021-03-03 17:04:15 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 246 seconds) |
| 2021-03-03 17:05:04 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-03 17:05:12 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-czcoxqegzsrqhure) |
| 2021-03-03 17:05:21 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-03-03 17:05:56 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-03 17:06:49 | → | sujeet joins (sujeet@unaffiliated/freeboson) |
| 2021-03-03 17:06:53 | → | zopsi joins (~zopsi@irc.dir.ac) |
| 2021-03-03 17:06:58 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-03-03 17:06:58 | → | son0p joins (~son0p@181.136.122.143) |
| 2021-03-03 17:06:58 | → | boxscape joins (4ff0baf3@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.243) |
| 2021-03-03 17:06:58 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-03 17:06:58 | → | clynamen_ joins (~clynamen@net-93-66-1-11.cust.vodafonedsl.it) |
| 2021-03-03 17:06:58 | → | khisanth_ joins (~Khisanth@24.sub-174-244-147.myvzw.com) |
| 2021-03-03 17:06:58 | → | pincel joins (~pyon@unaffiliated/pyon) |
| 2021-03-03 17:06:58 | → | dixie joins (~dixie@real.wilbury.sk) |
| 2021-03-03 17:06:58 | → | madnificent joins (~madnifice@static.210.74.63.178.clients.your-server.de) |
| 2021-03-03 17:06:58 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-03-03 17:06:58 | → | roconnor joins (~roconnor@host-104-157-194-235.dyn.295.ca) |
| 2021-03-03 17:06:58 | → | MasseR joins (~MasseR@51.15.143.128) |
| 2021-03-03 17:06:58 | → | juri_ joins (~juri@178.63.35.222) |
| 2021-03-03 17:06:58 | → | grumble joins (~Thunderbi@freenode/staff/grumble) |
| 2021-03-03 17:06:58 | → | egp_ joins (~egp_@2.95.74.168) |
| 2021-03-03 17:06:58 | → | tanuki joins (~quassel@173.168.154.189) |
| 2021-03-03 17:06:58 | → | ezzieyguywuf joins (~Unknown@unaffiliated/ezzieyguywuf) |
| 2021-03-03 17:06:58 | → | epta joins (~m@nuda.space) |
| 2021-03-03 17:06:58 | → | xcin joins (~x@159.203.132.140) |
| 2021-03-03 17:06:58 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 2021-03-03 17:06:58 | → | mawk joins (mawk@serveur.io) |
| 2021-03-03 17:06:58 | → | totoro2021 joins (~t@unaffiliated/totoro2021) |
| 2021-03-03 17:06:58 | → | rkrishnan joins (~rkrishnan@rkrishnan.org) |
| 2021-03-03 17:06:58 | → | jle` joins (~mstksg@unaffiliated/mstksg) |
| 2021-03-03 17:06:58 | → | sim590 joins (~sim590@modemcable090.207-203-24.mc.videotron.ca) |
| 2021-03-03 17:06:58 | → | xsarnik0 joins (xsarnik@gateway/shell/fi.muni.cz/x-pkbyatoowiwuqtjg) |
| 2021-03-03 17:06:58 | → | aidecoe joins (~aidecoe@unaffiliated/aidecoe) |
| 2021-03-03 17:06:58 | → | stilgart joins (~Christoph@chezlefab.net) |
| 2021-03-03 17:06:58 | → | Jajik joins (xchlup2@gateway/shell/fi.muni.cz/x-mvogdeasxxfzjncw) |
| 2021-03-03 17:06:58 | → | TommyC joins (~TommyC@unaffiliated/sepulchralbloom) |
| 2021-03-03 17:06:58 | → | kloeri joins (~kloeri@freenode/staff/exherbo.kloeri) |
| 2021-03-03 17:06:58 | → | mupf joins (~micha@v22017094964653601.ultrasrv.de) |
| 2021-03-03 17:06:58 | → | jluttine joins (~jluttine@85-23-95-149.bb.dnainternet.fi) |
| 2021-03-03 17:06:58 | → | nisstyre joins (~wes@python-zero/conduct-committee/nisstyre) |
| 2021-03-03 17:06:58 | → | jathan joins (~jathan@69.61.93.38) |
| 2021-03-03 17:06:58 | → | Cale joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-03-03 17:06:58 | → | Cathy joins (~Cathy@unaffiliated/cathy) |
| 2021-03-03 17:07:00 | × | d34df00d quits (~d34df00d@104-14-27-213.lightspeed.austtx.sbcglobal.net) (Excess Flood) |
| 2021-03-03 17:09:19 | × | jathan quits (~jathan@69.61.93.38) (Max SendQ exceeded) |
| 2021-03-03 17:10:50 | × | chisui quits (59f77c97@i59F77C97.versanet.de) (Quit: Connection closed) |
| 2021-03-03 17:11:00 | → | jathan joins (~jathan@69.61.93.38) |
| 2021-03-03 17:14:35 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-03 17:14:58 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:9f47) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-03-03 17:16:39 | <oafs> | > let x = y : x in x |
| 2021-03-03 17:16:42 | <lambdabot> | [y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y,y... |
| 2021-03-03 17:16:43 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2) |
| 2021-03-03 17:16:49 | <oafs> | nice |
| 2021-03-03 17:16:57 | <merijn> | falsifian: Not sure that's possible, but that'd be super useful to have |
| 2021-03-03 17:17:14 | <merijn> | falsifian: You can try running with -v1 through -v3 and see if you get anything useful |
| 2021-03-03 17:17:14 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-03 17:17:26 | <falsifian> | I'm looking into it. It looks like if I enable the "timestamp" verbosity flag I could probably hack something together. Currently figuring out how to do that. Maybe one of -v1 to -v3 as you say. |
| 2021-03-03 17:17:27 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-03 17:18:30 | → | noctux joins (~noctux@unaffiliated/noctux) |
| 2021-03-03 17:19:26 | <falsifian> | What is that magic lambdabot is doing? ghc just says "Variable not in scope: y". |
| 2021-03-03 17:19:39 | <falsifian> | *ghci |
| 2021-03-03 17:19:47 | <edwardk> | falsifian: it imports a module that defines a bunch of single letter variable names as Expr |
| 2021-03-03 17:20:02 | <edwardk> | where Expr knows how to print itself and has a bunch of common instances |
| 2021-03-03 17:20:03 | <edwardk> | :t x |
| 2021-03-03 17:20:04 | <falsifian> | lol that's a lot less magical than I was expecting. |
| 2021-03-03 17:20:05 | <lambdabot> | Expr |
| 2021-03-03 17:20:05 | → | nrdmn98 joins (~nrdmn@95.129.53.118) |
| 2021-03-03 17:20:13 | <edwardk> | > x + x |
| 2021-03-03 17:20:15 | <lambdabot> | x + x |
| 2021-03-03 17:20:30 | <falsifian> | Okay, I'll revise that to just slightly less magical. |
| 2021-03-03 17:20:33 | <edwardk> | > foldr (+) z [a,b,c,d,e] |
| 2021-03-03 17:20:36 | <lambdabot> | a + (b + (c + (d + (e + z)))) |
| 2021-03-03 17:20:55 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2) (Ping timeout: 240 seconds) |
| 2021-03-03 17:21:04 | × | nrdmn9 quits (~nrdmn@95.129.53.118) (Ping timeout: 260 seconds) |
All times are in UTC.