Logs: liberachat/#haskell
| 2021-06-05 05:58:19 | × | derelict quits (~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) (Ping timeout: 268 seconds) |
| 2021-06-05 06:05:27 | → | kluk joins (~kluk@2603-7000-9b3f-6934-dcad-778f-416c-181b.res6.spectrum.com) |
| 2021-06-05 06:06:25 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-05 06:06:43 | → | node-sh joins (~node-sh@223.228.227.129) |
| 2021-06-05 06:06:59 | × | fryguybob quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Ping timeout: 272 seconds) |
| 2021-06-05 06:08:03 | × | o1lo01ol1o quits (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-05 06:08:36 | × | tose quits (~tose@ip-85-160-8-254.eurotel.cz) (Quit: WeeChat 3.0) |
| 2021-06-05 06:15:27 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-06-05 06:16:00 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-06-05 06:16:00 | × | kluk quits (~kluk@2603-7000-9b3f-6934-dcad-778f-416c-181b.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-05 06:17:35 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Remote host closed the connection) |
| 2021-06-05 06:17:35 | × | node-sh quits (~node-sh@223.228.227.129) (Read error: Connection reset by peer) |
| 2021-06-05 06:17:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-06-05 06:18:17 | → | node-sh joins (~node-sh@2401:4900:3b31:9a25:5489:f4a4:3182:a2f0) |
| 2021-06-05 06:27:34 | → | rk04 joins (~rk04@user/rajk) |
| 2021-06-05 06:29:06 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-06-05 06:31:11 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2021-06-05 06:31:27 | × | mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-06-05 06:31:51 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2021-06-05 06:34:51 | × | TheRAt quits (~TheRAt@user/therat) (Ping timeout: 272 seconds) |
| 2021-06-05 06:35:14 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-05 06:36:55 | × | notzmv quits (~zmv@user/notzmv) (Remote host closed the connection) |
| 2021-06-05 06:37:07 | × | aerona quits (~aerona@2600:6c54:4600:f300:68ad:c2aa:4825:fdf8) (Quit: Leaving) |
| 2021-06-05 06:38:39 | × | img quits (~img@2405:6580:b1c0:2500:836a:9768:6f91:445b) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-06-05 06:38:57 | → | tcard joins (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 2021-06-05 06:40:24 | → | hmmmas joins (~chenqisu1@183.217.202.217) |
| 2021-06-05 06:40:28 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-06-05 06:40:55 | → | img joins (~img@2405:6580:b1c0:2500:9987:109a:ace3:e76f) |
| 2021-06-05 06:41:39 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-05 06:42:25 | × | bontaq quits (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2021-06-05 06:43:00 | → | chomwitt joins (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) |
| 2021-06-05 06:43:39 | → | kluk joins (~kluk@2603-7000-9b3f-6934-dcad-778f-416c-181b.res6.spectrum.com) |
| 2021-06-05 06:44:02 | × | rk04 quits (~rk04@user/rajk) (Quit: rk04) |
| 2021-06-05 06:44:36 | <kluk> | Hi all. I am having a hard time getting started using a resizable array. I tried vector, I did cabal install vector, I go to ghci, I do import Data.Vector, it doesn't work - what am I missing? |
| 2021-06-05 06:44:52 | → | rk04 joins (~rk04@user/rajk) |
| 2021-06-05 06:45:58 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-05 06:47:43 | → | reumeth joins (~reumeth@user/reumeth) |
| 2021-06-05 06:48:44 | × | mthvedt quits (uid501949@id-501949.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-05 06:49:35 | <pavonia> | kluk: Define "doesn't work" |
| 2021-06-05 06:49:58 | <kluk> | pavonia : "Could not find module ‘Data.Vector.Mutable’" |
| 2021-06-05 06:50:42 | <pavonia> | The cabal compilation was without errors? |
| 2021-06-05 06:52:39 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-06-05 06:52:59 | <kluk> | pavonia : ah, I was missing "cabal install --lib vector". Thanks! |
| 2021-06-05 06:56:10 | × | fabfianda quits (~fabfianda@net-93-148-121-206.cust.vodafonedsl.it) (Ping timeout: 245 seconds) |
| 2021-06-05 06:57:00 | → | fabfianda joins (~fabfianda@mob-5-90-247-94.net.vodafone.it) |
| 2021-06-05 07:03:03 | × | kluk quits (~kluk@2603-7000-9b3f-6934-dcad-778f-416c-181b.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-05 07:11:59 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 07:13:21 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-05 07:13:40 | × | fabfianda quits (~fabfianda@mob-5-90-247-94.net.vodafone.it) (Ping timeout: 245 seconds) |
| 2021-06-05 07:14:13 | → | fabfianda joins (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) |
| 2021-06-05 07:14:56 | → | helby joins (~x@alpine/moderator/helby) |
| 2021-06-05 07:16:00 | <[exa]> | is there any good tool for generating static sites where the input is more like "generated" than sourced from *.md files lying around? |
| 2021-06-05 07:16:42 | <maerwald> | like an actual DSL? |
| 2021-06-05 07:18:01 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) |
| 2021-06-05 07:18:02 | <[exa]> | not really sure |
| 2021-06-05 07:18:25 | <[exa]> | I've got a bunch of functions to document, each with variants, these will likely be specified in some very concise machine-friendly format |
| 2021-06-05 07:18:46 | <[exa]> | I need to expand that to pages for each variant of the functions + reasonable crosslinks and preferably an index |
| 2021-06-05 07:20:25 | <[exa]> | (side story: I even tried sphinx for rendering because "community standard" right, but it died with "error: popping from empty list" or something when I tried to reference a function. So I erased it again as it should be) |
| 2021-06-05 07:20:30 | → | ukari joins (~ukari@user/ukari) |
| 2021-06-05 07:22:36 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Ping timeout: 244 seconds) |
| 2021-06-05 07:23:27 | <[exa]> | What I wanted to avoid is making sure that the links and paths and everything is allright manually |
| 2021-06-05 07:23:53 | <[exa]> | kinda guessing that I could hack this into hakyll or some other existing generator but there's no howto going in that direction |
| 2021-06-05 07:27:10 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-05 07:29:29 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-06-05 07:30:20 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds) |
| 2021-06-05 07:32:18 | [exa] | eyes `slick` |
| 2021-06-05 07:36:34 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-05 07:37:42 | → | ddellaco_ joins (~ddellacos@107.182.237.15) |
| 2021-06-05 07:38:02 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-06-05 07:40:06 | × | malvo quits (~malvo@malvo.org) (Read error: Connection reset by peer) |
| 2021-06-05 07:41:06 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 264 seconds) |
| 2021-06-05 07:41:42 | → | bfrk joins (~Thunderbi@200116b845406c003a5dd7b952e89ac0.dip.versatel-1u1.de) |
| 2021-06-05 07:42:14 | × | ddellaco_ quits (~ddellacos@107.182.237.15) (Ping timeout: 244 seconds) |
| 2021-06-05 07:42:25 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-05 07:46:37 | → | fendor joins (~fendor@91.141.0.144.wireless.dyn.drei.com) |
| 2021-06-05 07:48:49 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 07:53:23 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-05 07:58:40 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds) |
| 2021-06-05 08:00:10 | × | pe200012 quits (~pe200012@183.63.73.33) (Remote host closed the connection) |
| 2021-06-05 08:00:12 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-05 08:00:40 | → | pe200012 joins (~pe200012@183.63.73.33) |
| 2021-06-05 08:01:04 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-06-05 08:02:02 | → | mpt joins (~tom@p57a566f5.dip0.t-ipconnect.de) |
| 2021-06-05 08:04:33 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:c4cd:bb0f:bbfb:d57f) |
| 2021-06-05 08:06:46 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-05 08:08:15 | × | rk04 quits (~rk04@user/rajk) (Ping timeout: 245 seconds) |
| 2021-06-05 08:09:04 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-06-05 08:09:41 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-05 08:09:58 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-06-05 08:10:49 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 252 seconds) |
| 2021-06-05 08:11:24 | → | neceve joins (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) |
| 2021-06-05 08:11:41 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 244 seconds) |
| 2021-06-05 08:12:45 | × | mpt quits (~tom@p57a566f5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-06-05 08:17:26 | <sm[m]> | [exa], maybe Shake + (blaze-html or lucid) |
| 2021-06-05 08:18:10 | <sm[m]> | also, for rendering md files I can recommend mdbook as a simpler sphinx |
| 2021-06-05 08:23:15 | <[exa]> | yeah I found slick which is basically shake + some template renderer |
| 2021-06-05 08:23:31 | <[exa]> | kinda expecting I'll just factor out slick to end up with shake+something |
| 2021-06-05 08:23:43 | <[exa]> | (likely pandoc and ginger) |
| 2021-06-05 08:25:00 | <[exa]> | mdbook look cool thanks |
| 2021-06-05 08:25:46 | → | RatSalad joins (~saravana@183.82.176.150) |
All times are in UTC.