Newest at the top
| 2025-01-23 14:24:52 +0100 | <Leary> | kuribas: Based on a cursory reading of the wikipedia article it's obviated by purity---we don't need it. |
| 2025-01-23 14:23:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-01-23 14:20:37 +0100 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2025-01-23 14:19:19 +0100 | acidjnk | (~acidjnk@p200300d6e7283f96b82223b200180454.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-01-23 14:18:26 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 14:16:36 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-01-23 14:16:31 +0100 | <kuribas> | Like storing (forall a.Num a) in a datatype. |
| 2025-01-23 14:16:12 +0100 | <kuribas> | I suppose it doesn't since haskell doesn't support subtyping? |
| 2025-01-23 14:15:57 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-23 14:15:26 +0100 | <kuribas> | Does the value restriction apply to haskell? For example for mutable data? |
| 2025-01-23 14:14:51 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-01-23 14:13:38 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-01-23 14:12:49 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-01-23 14:11:06 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-01-23 14:08:06 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-23 14:06:57 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-23 14:04:17 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-23 14:02:43 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 14:01:36 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-23 14:01:34 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-01-23 14:00:48 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 13:57:18 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-01-23 13:57:18 +0100 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) |
| 2025-01-23 13:56:16 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-01-23 13:56:10 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-23 13:55:09 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-01-23 13:53:55 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 13:52:35 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-01-23 13:47:37 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 13:41:17 +0100 | agent314 | (~quassel@static-198-54-131-122.cust.tzulo.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-01-23 13:41:10 +0100 | AlexNoo_ | AlexNoo |
| 2025-01-23 13:37:36 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 276 seconds) |
| 2025-01-23 13:34:58 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-01-23 13:34:27 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-23 13:32:39 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-23 13:32:37 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 252 seconds) |
| 2025-01-23 13:30:13 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-01-23 13:30:02 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 13:29:08 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 13:28:04 +0100 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) (Quit: β reduced) |
| 2025-01-23 13:27:36 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-01-23 13:24:34 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 13:22:34 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-01-23 13:22:13 +0100 | sabathan | (~sabathan@acaen-652-1-335-197.w83-115.abo.wanadoo.fr) (Ping timeout: 248 seconds) |
| 2025-01-23 13:21:32 +0100 | jespada | (~jespada@2800:a4:2317:8200:52e:e131:1453:b068) jespada |
| 2025-01-23 13:16:33 +0100 | taleseeker | (~taleseeke@185.107.44.16) (Quit: irc: cannot access '/proc/taleseeker': No such file or directory) |
| 2025-01-23 13:12:39 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 13:10:03 +0100 | AlexZenon | (~alzenon@178.34.161.66) |
| 2025-01-23 13:06:58 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-23 13:04:30 +0100 | AlexNoo | (~AlexNoo@178.34.163.23) (Ping timeout: 252 seconds) |