Newest at the top
| 2025-05-15 15:17:47 +0200 | AlexNoo_ | AlexNoo |
| 2025-05-15 15:16:30 +0200 | <haskellbridge> | <yin> merijn: ty |
| 2025-05-15 15:16:04 +0200 | AlexNoo | (~AlexNoo@178.34.161.121) (Ping timeout: 252 seconds) |
| 2025-05-15 15:14:29 +0200 | AlexZenon | (~alzenon@178.34.161.121) (Ping timeout: 248 seconds) |
| 2025-05-15 15:12:37 +0200 | AlexNoo_ | (~AlexNoo@178.34.150.214) |
| 2025-05-15 15:11:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-15 15:10:45 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-05-15 15:05:25 +0200 | Guest63 | (~Guest63@2405:201:400a:1019:b980:9589:3aa4:3a5e) (Quit: Client closed) |
| 2025-05-15 15:01:45 +0200 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-05-15 15:00:24 +0200 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 245 seconds) |
| 2025-05-15 14:59:51 +0200 | euleritian | (~euleritia@ip2504f9f8.dynamic.kabel-deutschland.de) |
| 2025-05-15 14:59:33 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-15 14:59:15 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-15 14:57:16 +0200 | Guest63 | (~Guest63@2405:201:400a:1019:b980:9589:3aa4:3a5e) |
| 2025-05-15 14:55:47 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-05-15 14:49:45 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-15 14:49:13 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-15 14:48:27 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-05-15 14:28:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-05-15 14:21:46 +0200 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 14:19:29 +0200 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-15 14:09:28 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-05-15 14:09:06 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2025-05-15 14:05:59 +0200 | <merijn> | yin: The tutorial and most introductory Idris stuff is focussed on people coming from Haskell/ML and explaining the differences from there |
| 2025-05-15 14:05:16 +0200 | <merijn> | yin: The tutorial? :p |
| 2025-05-15 13:53:04 +0200 | <yin> | what's the best resource for getting started with Idris? |
| 2025-05-15 13:52:39 +0200 | <yin> | tomsmeding: :) |
| 2025-05-15 13:50:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 13:49:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 13:48:04 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-15 13:47:27 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 13:45:48 +0200 | nullobject | (~josh@user/nullobject) (Ping timeout: 244 seconds) |
| 2025-05-15 13:44:41 +0200 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 13:36:53 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 248 seconds) |
| 2025-05-15 13:33:37 +0200 | jespada | (~jespada@r167-61-130-171.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 2025-05-15 13:22:25 +0200 | <yahb2> | 4 |
| 2025-05-15 13:22:25 +0200 | <tomsmeding> | % length "Type" `div` length "*" |
| 2025-05-15 13:22:15 +0200 | <tomsmeding> | yin: that big enough for you? |
| 2025-05-15 13:22:11 +0200 | <yahb2> | Maybe :: Type -> Type |
| 2025-05-15 13:22:11 +0200 | <tomsmeding> | % :k Maybe |
| 2025-05-15 13:22:08 +0200 | <yahb2> | <no output> |
| 2025-05-15 13:22:08 +0200 | <tomsmeding> | % :set -XNoStarIsType |
| 2025-05-15 13:20:52 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7ed8:b8a6:621a:b979) |
| 2025-05-15 13:16:40 +0200 | feetwind | (~mike@user/feetwind) feetwind |
| 2025-05-15 13:04:35 +0200 | feetwind | (~mike@user/feetwind) (Ping timeout: 260 seconds) |
| 2025-05-15 13:02:24 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds) |
| 2025-05-15 13:02:15 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-15 13:01:56 +0200 | jespada | (~jespada@r167-61-130-171.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 13:00:04 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-15 12:55:22 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |