Matthew Flatt writes:
> At Sun, 05 Aug 2018 11:50:09 -0400, Christopher Lemmer Webber wrote:
>> DrRacket includes a nice Scheme editor. I don't need the whole
>> thing... but some of it would be nice, like the paren matching. How
>> reusable is DrRacket's text editor tooling? Reusable enough
David Thrane Christiansen writes:
>> Wow, those are stunning examples! I had no idea!
>
> Thanks!
>
>> BTW, do you have code for either of these posted anywhere under a libre
>> license? Might be interesting to look at :)
>
> I don't typically post the source code of the slides themselves,
>
> Wow, those are stunning examples! I had no idea!
Thanks!
> BTW, do you have code for either of these posted anywhere under a libre
> license? Might be interesting to look at :)
I don't typically post the source code of the slides themselves,
because I don't really design them for
David Thrane Christiansen writes:
> Hi Christopher,
>
>> Oh, this is very nice! I didn't even know there was a way to embed a
>> REPL like this in slideshow! :)
>
> It's possible to embed arbitrary GUI widgets!
>
> Here's a talk that uses Slideshow with an embedded Idris editor and REPL
> where
Hi Christopher,
> Oh, this is very nice! I didn't even know there was a way to embed a
> REPL like this in slideshow! :)
It's possible to embed arbitrary GUI widgets!
Here's a talk that uses Slideshow with an embedded Idris editor and REPL
where the slides fire up an Idris compiler behind the
Matthew Flatt writes:
> At Sun, 05 Aug 2018 11:50:09 -0400, Christopher Lemmer Webber wrote:
>> DrRacket includes a nice Scheme editor. I don't need the whole
>> thing... but some of it would be nice, like the paren matching. How
>> reusable is DrRacket's text editor tooling? Reusable enough
At Sun, 05 Aug 2018 11:50:09 -0400, Christopher Lemmer Webber wrote:
> DrRacket includes a nice Scheme editor. I don't need the whole
> thing... but some of it would be nice, like the paren matching. How
> reusable is DrRacket's text editor tooling? Reusable enough to embed in
> another
DrRacket includes a nice Scheme editor. I don't need the whole
thing... but some of it would be nice, like the paren matching. How
reusable is DrRacket's text editor tooling? Reusable enough to embed in
another application? Or would I have to rewrite this?
I know I can embed a more vanilla
8 matches
Mail list logo
