Newest at the top
2024-04-25 06:56:10 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 245 seconds) |
2024-04-25 06:51:38 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-04-25 06:51:23 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
2024-04-25 06:45:59 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) (Ping timeout: 256 seconds) |
2024-04-25 06:43:34 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-04-25 06:43:02 +0200 | rosco | (rosco@gateway/vpn/airvpn/rosco) (Ping timeout: 268 seconds) |
2024-04-25 06:36:21 +0200 | rosco | (rosco@gateway/vpn/airvpn/rosco) |
2024-04-25 06:33:00 +0200 | yin | (~yin@user/zero) |
2024-04-25 06:31:10 +0200 | yin | (~yin@user/zero) (Ping timeout: 246 seconds) |
2024-04-25 06:18:31 +0200 | kshube | (~kshube@49.207.195.24) |
2024-04-25 06:18:15 +0200 | kshube | (~kshube@2406:7400:56:7ccd:eb5a:72e4:5bef:2a2e) (Ping timeout: 245 seconds) |
2024-04-25 06:15:41 +0200 | <c_wraith> | Int is the regular Haskell wrapper around the magic Int# |
2024-04-25 06:14:47 +0200 | <c_wraith> | Int is not magical, other than the constructor name. Int# is magical |
2024-04-25 06:13:43 +0200 | kshube | (~kshube@2406:7400:56:7ccd:eb5a:72e4:5bef:2a2e) |
2024-04-25 06:08:09 +0200 | michalz | (~michalz@185.246.207.218) |
2024-04-25 06:05:19 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-25 06:05:05 +0200 | <Inst> | Char# Thunk |
2024-04-25 06:04:57 +0200 | <Inst> | Int, Char, etc, they should evaluate to Int# Thunk |
2024-04-25 06:04:41 +0200 | <Inst> | wait, Int is magical, right? |
2024-04-25 06:04:25 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2024-04-25 06:03:13 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
2024-04-25 05:53:21 +0200 | Square | (~Square@user/square) |
2024-04-25 05:34:26 +0200 | yin | (~yin@user/zero) |
2024-04-25 05:32:53 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-04-25 05:29:42 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-04-25 05:29:12 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-04-25 05:27:07 +0200 | foul_owl | (~kerry@185.219.141.160) |
2024-04-25 05:26:34 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
2024-04-25 05:25:30 +0200 | totalghost | (~ghost@172-105-178-131.ip.linodeusercontent.com) |
2024-04-25 05:21:19 +0200 | aforemny | (~aforemny@i59F516E4.versanet.de) |
2024-04-25 05:20:35 +0200 | aforemny_ | (~aforemny@i59f516e0.versanet.de) (Ping timeout: 252 seconds) |
2024-04-25 05:15:32 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-04-25 05:15:11 +0200 | totalghost | (~ghost@172-105-178-131.ip.linodeusercontent.com) (Ping timeout: 256 seconds) |
2024-04-25 05:09:32 +0200 | foul_owl | (~kerry@185.216.231.182) (Ping timeout: 260 seconds) |
2024-04-25 05:00:35 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
2024-04-25 04:57:43 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2024-04-25 04:56:25 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
2024-04-25 04:52:04 +0200 | <haskellbridge> | <irregularsphere> should I make a library out of this after polishing? seems promising |
2024-04-25 04:51:38 +0200 | <haskellbridge> | <irregularsphere> ...right, the FuncOf precondition is probably not needed anyway |
2024-04-25 04:45:55 +0200 | totalghost | (~ghost@172-105-178-131.ip.linodeusercontent.com) |
2024-04-25 04:41:02 +0200 | Inst | (~Inst@user/Inst) |
2024-04-25 04:40:33 +0200 | phma | (~phma@host-67-44-208-48.hnremote.net) |
2024-04-25 04:39:39 +0200 | phma | (~phma@2001:5b0:210f:7f28:c0a7:813e:87a3:391e) (Read error: Connection reset by peer) |
2024-04-25 04:36:22 +0200 | td_ | (~td@i5387092A.versanet.de) |
2024-04-25 04:34:30 +0200 | td_ | (~td@i5387093D.versanet.de) (Ping timeout: 245 seconds) |
2024-04-25 04:30:53 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2024-04-25 04:30:35 +0200 | totalghost | (~ghost@user/totalghost) (Ping timeout: 264 seconds) |
2024-04-25 04:30:26 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2024-04-25 04:26:36 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 260 seconds) |
2024-04-25 04:23:45 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |