14 Sep 2023 |
.slow_brain | Maybe someone else knows something in this direction? | 12:08:04 |
coffius | .slow_brain , Thanks for the suggestion. I've checked this lead and found basically the same. The closest tool to this idea, to my understanding, is scalameta/mdoc but it implements a bit different logic. As well as other tools related to "literate programming".
They make an document such as *.md compilable and executable. But in my case I'd like to extract a markdown document out of a Scala file. In this sense Scaladoc is closer. | 13:18:25 |
coffius | * .slow_brain , Thanks for the suggestion. I've checked this lead and found basically the same. The closest tool to this idea, to my understanding, is scalameta/mdoc but it implements a bit different logic. As well as other tools related to "literate programming".
They make an document such as *.md compilable and executable. But in my case I'd like to extract a markdown document out of a Scala file - basically opposite. In this sense Scaladoc is closer. | 13:19:14 |
sethtisue#0 | you might ask in the #content-creators channel of the main Scala Discord, see what other authors and speakers are using for their blog posts and slides and such | 13:51:45 |
| mpilquist#7944 changed their display name from mpilquist#7944 to mpilquist#0. | 14:50:44 |
olafurpg | If you have a Scala function. that can render markdown from Scala code, then you can call that function inside a markdown file and evaluate it with mdoc | 17:07:57 |
olafurpg | A lot of the pieces are in place, just need to wire everything together | 17:10:46 |
ekrich#0 | I know Scaladoc has it's own site generation - do the same snippet become runnable like mdoc? Do they use Scastie or something else. | 20:48:29 |
15 Sep 2023 |
| cquiroz joined the room. | 13:11:34 |
| Riverside96 changed their display name from Riverside96 to riverside96#0. | 15:12:46 |
16 Sep 2023 |
| QuantumPie changed their display name from QuantumPie to quantumpie#0. | 19:08:06 |
20 Sep 2023 |
| tanishiking#0 changed their profile picture. | 07:21:28 |
| susliko changed their display name from susliko to .susliko#0. | 09:27:58 |
| susliko set a profile picture. | 09:28:04 |
| susliko changed their display name from .susliko#0 to susliko. | 09:28:06 |
| typeduke joined the room. | 18:25:22 |
22 Sep 2023 |
| pjh122 joined the room. | 08:50:18 |
| pjh122 changed their display name from pjh122 to pjh122#0. | 09:12:20 |
| pjh122 changed their display name from pjh122#0 to pjh122. | 09:12:23 |
28 Sep 2023 |
| Uncle 0gre changed their display name from Uncle 0gre to uncle0gre#0. | 20:19:26 |
30 Sep 2023 |
| oscarvarto changed their display name from oscarvarto to oscarvarto#0. | 05:34:25 |
| oscarvarto removed their profile picture. | 05:34:29 |
1 Oct 2023 |
| jishu debnath joined the room. | 16:19:40 |
2 Oct 2023 |
| @temp4096:matrix.org joined the room. | 06:48:36 |
| spills changed their display name from spills to spills#0. | 19:13:03 |
3 Oct 2023 |
| atk91 joined the room. | 08:21:27 |
| @temp4096:matrix.org left the room. | 09:29:58 |
5 Oct 2023 |
| rodney0 joined the room. | 14:36:57 |
6 Oct 2023 |
| BrinkleyC changed their display name from BrinkleyC to brinkleyc#0. | 23:06:24 |
| BrinkleyC changed their display name from brinkleyc#0 to brinkleyc. | 23:06:27 |