Newest at the top
| 2024-05-03 23:45:53 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-05-03 23:45:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:42:55 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-05-03 23:42:53 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:41:06 +0200 | AlexZenon | (~alzenon@178.34.162.113) (Ping timeout: 268 seconds) |
| 2024-05-03 23:39:46 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:38:42 +0200 | erty | (~user@user/aeroplane) (Ping timeout: 255 seconds) |
| 2024-05-03 23:37:49 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:35:34 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:33:10 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:29:30 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:27:52 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:24:50 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:22:52 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:19:42 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:19:25 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:18:53 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-05-03 23:16:54 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-05-03 23:15:02 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:12:08 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:12:03 +0200 | cheater | (~Username@user/cheater) |
| 2024-05-03 23:10:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:06:23 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:04:46 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:01:32 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:00:06 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 22:57:15 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 22:54:30 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 22:51:25 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 22:49:21 +0200 | causal | (~eric@50.35.88.207) |
| 2024-05-03 22:47:34 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-05-03 22:47:32 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-03 22:46:56 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 22:46:52 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-05-03 22:45:47 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-05-03 22:45:10 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 22:44:22 +0200 | agent314 | (~quassel@185.102.218.105.adsl.inet-telecom.org) (Ping timeout: 268 seconds) |
| 2024-05-03 22:44:19 +0200 | agent314_ | (~quassel@169.150.252.111) |
| 2024-05-03 22:43:13 +0200 | <tomsmeding> | (good luck wading through the types there) |
| 2024-05-03 22:42:08 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-05-03 22:41:17 +0200 | <lambdabot> | https://hackage.haskell.org/package/hdiff |
| 2024-05-03 22:41:17 +0200 | <tomsmeding> | @hackage hdiff |
| 2024-05-03 22:41:07 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-05-03 22:41:03 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-05-03 22:40:58 +0200 | <monochrom> | Yeah. |
| 2024-05-03 22:40:51 +0200 | <raehik> | tomsmeding: haha rats. perhaps I'm stuck with Typeable if I want to print the TypeRep of a data type |
| 2024-05-03 22:40:42 +0200 | <tomsmeding> | monochrom: is this for diffing |
| 2024-05-03 22:40:16 +0200 | <monochrom> | The user will provide "E -> E -> Maybe [(E,E)]". Nothing means that the roots mismatch. Just xs means that the roots match, and the list is the list of childrens to check further. |
| 2024-05-03 22:40:02 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 22:38:04 +0200 | <tomsmeding> | raehik: oh that's right, Generic talks about monomorphic types |