Logs: freenode/#haskell
| 2021-04-05 21:01:19 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-05 21:01:46 | × | conal_ quits (~conal@192.145.116.173) (Ping timeout: 240 seconds) |
| 2021-04-05 21:03:12 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
| 2021-04-05 21:04:19 | × | LKoen_ quits (~LKoen@65.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-04-05 21:05:51 | → | average joins (uid473595@gateway/web/irccloud.com/x-nfxnbiiogmdlamqs) |
| 2021-04-05 21:07:31 | → | solarus joins (~solarus@2a03:b0c0:2:d0::48:7001) |
| 2021-04-05 21:08:01 | → | conal joins (~conal@64.71.133.70) |
| 2021-04-05 21:09:17 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-05 21:09:49 | → | lawt joins (~lawt@c-73-151-3-92.hsd1.ca.comcast.net) |
| 2021-04-05 21:14:22 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-05 21:14:42 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-05 21:15:04 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:e190:d35c:f53a:87f1) |
| 2021-04-05 21:15:16 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:2d5e:da64:ce83:7848) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-05 21:16:57 | → | cake_eater joins (~kiweun@2607:fea8:2a62:9600:9db9:9a23:8a1e:6f8c) |
| 2021-04-05 21:17:30 | → | acidjnk_new joins (~acidjnk@p200300d0c72b95396118d8d56ee70ad6.dip0.t-ipconnect.de) |
| 2021-04-05 21:18:34 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-05 21:18:53 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-05 21:19:51 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:e190:d35c:f53a:87f1) (Ping timeout: 250 seconds) |
| 2021-04-05 21:20:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-05 21:23:04 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 265 seconds) |
| 2021-04-05 21:24:15 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-05 21:25:39 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-05 21:25:58 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-05 21:26:55 | × | tmciver quits (~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 252 seconds) |
| 2021-04-05 21:28:00 | × | gawen quits (~gawen@movzbl.root.sx) (Quit: cya) |
| 2021-04-05 21:28:23 | → | gawen joins (~gawen@movzbl.root.sx) |
| 2021-04-05 21:29:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-05 21:30:05 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-04-05 21:33:50 | → | ystael joins (~ystael@209.6.50.55) |
| 2021-04-05 21:36:01 | → | fendor_ joins (~fendor@91.141.0.13.wireless.dyn.drei.com) |
| 2021-04-05 21:36:51 | × | Tops2 quits (~Tobias@dyndsl-095-033-016-016.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-04-05 21:37:18 | × | fendor_ quits (~fendor@91.141.0.13.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-04-05 21:37:41 | × | Franciman quits (~francesco@host-87-20-23-243.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-04-05 21:38:11 | × | fendor quits (~fendor@77.119.128.7.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-04-05 21:41:39 | → | juri_ joins (~juri@79.140.122.136) |
| 2021-04-05 21:42:07 | <koz_> | I'm getting this error from cabal when I try to use FFI stuff: Warning: the following files would be used as linker inputs, but linking is not being done: |
| 2021-04-05 21:42:16 | <koz_> | What am I missing in my cabal file? |
| 2021-04-05 21:42:47 | <koz_> | Never mind lol, what I was missing was a sense for typoes. |
| 2021-04-05 21:49:24 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-05 21:52:39 | → | dinciorip joins (~dincio@5.170.104.221) |
| 2021-04-05 21:52:47 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-04-05 21:53:50 | × | dinciorip quits (~dincio@5.170.104.221) (Client Quit) |
| 2021-04-05 21:54:08 | → | dinciorip joins (~dincio@5.170.104.221) |
| 2021-04-05 21:56:43 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:b54a:36bf:7632:87f4) (Remote host closed the connection) |
| 2021-04-05 22:03:11 | × | dyamon quits (~dyamon@cpc69058-oxfd26-2-0-cust662.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-05 22:06:52 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-05 22:07:38 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:b54a:36bf:7632:87f4) |
| 2021-04-05 22:07:52 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-05 22:10:06 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:71b5:c607:ffb7:22fe) |
| 2021-04-05 22:10:41 | × | p8m_ quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 240 seconds) |
| 2021-04-05 22:12:00 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 2021-04-05 22:13:04 | → | superstar64 joins (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
| 2021-04-05 22:13:04 | → | kris-krus joins (~kris-krus@78-56-32-39.static.zebra.lt) |
| 2021-04-05 22:13:11 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 2021-04-05 22:14:09 | <superstar64> | are prism functors a thing? `prismMap :: Prism a b -> f a -> f b`, where `Prism a b = Prism (a -> b) (b -> Maybe a)` |
| 2021-04-05 22:15:11 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 240 seconds) |
| 2021-04-05 22:15:24 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-04-05 22:15:44 | <superstar64> | i just implemented this paper https://www.mathematik.uni-marburg.de/~rendel/rendel10invertible.pdf similar pattern for partial isomorphisms, but i found out you only really need prisms |
| 2021-04-05 22:16:41 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-05 22:18:15 | × | DavidEichmann quits (~david@47.27.93.209.dyn.plus.net) (Remote host closed the connection) |
| 2021-04-05 22:20:30 | × | ADG1089 quits (~aditya@122.163.139.43) (Remote host closed the connection) |
| 2021-04-05 22:21:14 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-05 22:21:47 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-04-05 22:25:28 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: Not today, zaeph) |
| 2021-04-05 22:25:43 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-05 22:25:57 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:b54a:36bf:7632:87f4) (Remote host closed the connection) |
| 2021-04-05 22:26:11 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-05 22:28:07 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:71b5:c607:ffb7:22fe) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-05 22:31:25 | → | tuomasi joins (~thom@507285D4.static.ziggozakelijk.nl) |
| 2021-04-05 22:32:06 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-05 22:34:17 | → | rprije joins (~rprije@59-102-63-15.tpgi.com.au) |
| 2021-04-05 22:34:51 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-04-05 22:36:23 | × | tuomasi quits (~thom@507285D4.static.ziggozakelijk.nl) (Quit: Leaving) |
| 2021-04-05 22:38:12 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:ede4:25d6:732a:13e6) |
| 2021-04-05 22:39:14 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-04-05 22:40:30 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-05 22:41:00 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-05 22:43:31 | × | neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving) |
| 2021-04-05 22:44:40 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-04-05 22:45:42 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-04-05 22:47:59 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-05 22:48:01 | → | N3RGY joins (~N3RGY@65.141.87.122) |
| 2021-04-05 22:50:56 | × | malumore quits (~malumore@151.62.127.167) (Ping timeout: 260 seconds) |
| 2021-04-05 22:53:02 | → | royal_screwup216 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-05 22:56:18 | × | Guest50588 quits (~textual@zrcout.mskcc.org) (Ping timeout: 240 seconds) |
| 2021-04-05 22:58:17 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2021-04-05 22:59:02 | <Axma70544> | % :T fmapping |
| 2021-04-05 22:59:02 | <yahb> | Axma70544: unknown command ':T'; use :? for help. |
| 2021-04-05 22:59:06 | Axma70544 | is now known as Axman6 |
| 2021-04-05 22:59:13 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:b54a:36bf:7632:87f4) |
| 2021-04-05 22:59:13 | <Axman6> | % :t fmapping |
| 2021-04-05 22:59:13 | <yahb> | Axman6: ; <interactive>:1:1: error:; * Variable not in scope: fmapping; * Perhaps you meant one of these: `lmapping' (imported from Control.Lens), `mapping' (imported from Control.Lens), `rmapping' (imported from Control.Lens) |
| 2021-04-05 22:59:19 | <Axman6> | % :t mapping |
| 2021-04-05 22:59:19 | <yahb> | Axman6: (Functor f, Functor g) => AnIso s t a b -> Iso (f s) (g t) (f a) (g b) |
| 2021-04-05 22:59:26 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-05 22:59:50 | → | s00pcan joins (~chris@107.181.165.217) |
| 2021-04-05 23:03:21 | × | mp___ quits (mp@hell.cx) (Ping timeout: 252 seconds) |
| 2021-04-05 23:04:02 | × | Unode quits (~Unode@unaffiliated/unode) (Remote host closed the connection) |
| 2021-04-05 23:04:25 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Quit: WeeChat 3.1) |
| 2021-04-05 23:04:27 | × | Eliel quits (~jojkaart@163.172.153.251) (Ping timeout: 252 seconds) |
All times are in UTC.