2025/05/15

Newest at the top

2025-05-15 15:49:16 +0200 <hellwolf> otherwise, it doesn't make sense, since it's the basic feature.
2025-05-15 15:48:52 +0200 <hellwolf> do you mean cannot be relative path from parent folders
2025-05-15 15:48:39 +0200 <hellwolf> huh?
2025-05-15 15:48:13 +0200ubert(~Thunderbi@p200300ecdf1b8afc99002e8c4e21755f.dip0.t-ipconnect.de) (Quit: ubert)
2025-05-15 15:46:46 +0200FragByte(~christian@user/fragbyte) FragByte
2025-05-15 15:44:49 +0200FragByte(~christian@user/fragbyte) (Quit: Quit)
2025-05-15 15:41:27 +0200son0p(~ff@2800:e6:4000:5cf7:2aa0:f8ac:1dbc:787d) son0p
2025-05-15 15:37:35 +0200 <Square> I thought they fixed it in cabal 3
2025-05-15 15:37:21 +0200 <Square> It could be a haskell + nix problem. But I remember it was a known bug in cabal 2.x
2025-05-15 15:36:51 +0200 <merijn> They are/should be, no?
2025-05-15 15:36:40 +0200 <merijn> Square: How so?
2025-05-15 15:35:40 +0200 <Square> hs-source-dirs in cabal cannot be relative it seems?
2025-05-15 15:31:01 +0200fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 248 seconds)
2025-05-15 15:24:23 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-05-15 15:23:27 +0200 <yin> https://idris2.readthedocs.io/en/latest/tutorial/index.html ?
2025-05-15 15:23:03 +0200 <yin> merijn: just to be sure, what do you mean by *the* tutorial?
2025-05-15 15:21:26 +0200ubert(~Thunderbi@p200300ecdf1b8afc99002e8c4e21755f.dip0.t-ipconnect.de) ubert
2025-05-15 15:20:45 +0200AlexZenon(~alzenon@178.34.150.214)
2025-05-15 15:17:47 +0200AlexNoo_AlexNoo
2025-05-15 15:16:30 +0200 <haskellbridge> <yin> merijn: ty
2025-05-15 15:16:04 +0200AlexNoo(~AlexNoo@178.34.161.121) (Ping timeout: 252 seconds)
2025-05-15 15:14:29 +0200AlexZenon(~alzenon@178.34.161.121) (Ping timeout: 248 seconds)
2025-05-15 15:12:37 +0200AlexNoo_(~AlexNoo@178.34.150.214)
2025-05-15 15:11:39 +0200tromp(~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66)
2025-05-15 15:10:45 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-05-15 15:05:25 +0200Guest63(~Guest63@2405:201:400a:1019:b980:9589:3aa4:3a5e) (Quit: Client closed)
2025-05-15 15:01:45 +0200Xe(~Xe@perl/impostor/xe) Xe
2025-05-15 15:00:24 +0200Xe(~Xe@perl/impostor/xe) (Ping timeout: 245 seconds)
2025-05-15 14:59:51 +0200euleritian(~euleritia@ip2504f9f8.dynamic.kabel-deutschland.de)
2025-05-15 14:59:33 +0200euleritian(~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-15 14:59:15 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-05-15 14:57:16 +0200Guest63(~Guest63@2405:201:400a:1019:b980:9589:3aa4:3a5e)
2025-05-15 14:55:47 +0200fp(~Thunderbi@2001:708:20:1406::1370) fp
2025-05-15 14:49:45 +0200rvalue(~rvalue@user/rvalue) rvalue
2025-05-15 14:49:13 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-05-15 14:48:27 +0200hiecaq(~hiecaq@user/hiecaq) hiecaq
2025-05-15 14:28:22 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-05-15 14:21:46 +0200jespada(~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) jespada
2025-05-15 14:19:29 +0200jespada(~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-05-15 14:09:28 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-05-15 14:09:06 +0200simplystuart(~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 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-15 13:49:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-15 13:48:04 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-15 13:47:27 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-15 13:45:48 +0200nullobject(~josh@user/nullobject) (Ping timeout: 244 seconds)