Newest at the top
2024-06-29 07:07:54 +0200 | <cheater> | or something else to that effect |
2024-06-29 07:07:41 +0200 | <cheater> | but i want to enhance the type to explain that if f x = y where y = ..., then y `largerThan` x for a specific largerThan |
2024-06-29 07:07:18 +0200 | <cheater> | i'm talking about a function f :: a -> a |
2024-06-29 07:06:56 +0200 | <cheater> | are y'all talking to me |
2024-06-29 07:03:09 +0200 | tabemann__ | (~tabemann@2600:1700:7990:24e0:2727:c00:50bb:6a1f) |
2024-06-29 07:02:38 +0200 | tabemann__ | (~tabemann@2600:1700:7990:24e0:fc27:3b97:9d0e:b091) (Remote host closed the connection) |
2024-06-29 07:01:32 +0200 | zzz | (~yin@user/zero) |
2024-06-29 06:56:59 +0200 | <danza_> | or a function that was previously partially applied |
2024-06-29 06:55:11 +0200 | zzz | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-06-29 06:54:08 +0200 | danza_ | (~francesco@151.44.142.105) |
2024-06-29 06:48:24 +0200 | danza_ | (~francesco@151.44.142.105) (Ping timeout: 268 seconds) |
2024-06-29 06:46:29 +0200 | <c_wraith> | It's either trivial due to parametricity, or an ad-hoc mess that can be anything. |
2024-06-29 06:38:51 +0200 | zzz | (~yin@user/zero) |
2024-06-29 06:38:06 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-05-70-51-80-57.dsl.bell.ca) (Ping timeout: 255 seconds) |
2024-06-29 06:37:44 +0200 | <cheater> | how would you encode: function f takes a type a and returns another value of type a that is larger than the parameter (larger meaning that all the values held inside the parameter are also held in the return value) |
2024-06-29 06:36:16 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) |
2024-06-29 06:32:11 +0200 | zzz | (~yin@user/zero) (Ping timeout: 252 seconds) |
2024-06-29 06:31:14 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-06-29 06:30:56 +0200 | euleritian | (~euleritia@dynamic-176-004-188-141.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-06-29 06:28:57 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-05-70-51-80-57.dsl.bell.ca) |
2024-06-29 06:23:25 +0200 | euleritian | (~euleritia@dynamic-176-004-188-141.176.4.pool.telefonica.de) |
2024-06-29 06:16:20 +0200 | euleritian | (~euleritia@dynamic-176-007-199-084.176.7.pool.telefonica.de) (Ping timeout: 268 seconds) |
2024-06-29 06:09:02 +0200 | zzz | (~yin@user/zero) |
2024-06-29 06:08:24 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:8ec3:58dc:1906:fdfb) (Quit: Leaving) |
2024-06-29 06:05:03 +0200 | abrantesasf | (~abrantesa@179.217.48.72) (Remote host closed the connection) |
2024-06-29 06:03:48 +0200 | Pixi | (~Pixi@user/pixi) |
2024-06-29 06:02:39 +0200 | zzz | (~yin@user/zero) (Ping timeout: 264 seconds) |
2024-06-29 06:02:09 +0200 | Pixi | (~Pixi@user/pixi) (Read error: Connection reset by peer) |
2024-06-29 06:01:30 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) (Quit: ) |
2024-06-29 05:50:53 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-06-29 05:50:08 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-06-29 05:43:37 +0200 | aaronv | (~aaronv@user/aaronv) |
2024-06-29 05:37:33 +0200 | DreamDeckup | (~DreamDeck@194.127.199.91) (Read error: Connection reset by peer) |
2024-06-29 05:32:45 +0200 | abrantesasf | (~abrantesa@179.217.48.72) |
2024-06-29 05:26:02 +0200 | zzz | (~yin@user/zero) |
2024-06-29 05:18:52 +0200 | zzz | (~yin@user/zero) (Ping timeout: 246 seconds) |
2024-06-29 05:17:44 +0200 | <glguy> | andrea_r: even fixing those mistakes I still get the crash on 9.8 but not 9.10 |
2024-06-29 05:17:18 +0200 | euleritian | (~euleritia@dynamic-176-007-199-084.176.7.pool.telefonica.de) |
2024-06-29 05:16:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-06-29 05:08:26 +0200 | zzz | (~yin@user/zero) |
2024-06-29 05:02:03 +0200 | zzz | (~yin@user/zero) (Ping timeout: 264 seconds) |
2024-06-29 04:48:07 +0200 | td_ | (~td@i5387091C.versanet.de) |
2024-06-29 04:46:05 +0200 | td_ | (~td@i53870939.versanet.de) (Ping timeout: 240 seconds) |
2024-06-29 04:04:22 +0200 | petrichor | (~znc-user@user/petrichor) |
2024-06-29 04:03:58 +0200 | danza | (~francesco@151.46.223.232) (Ping timeout: 246 seconds) |
2024-06-29 04:03:03 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-06-29 04:02:03 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
2024-06-29 04:01:39 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-06-29 04:01:27 +0200 | danza_ | (~francesco@151.44.142.105) |
2024-06-29 04:00:35 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |