redex users — is there a way to render a define-term? e.g. (define-term foo blah) might render as foo ≣ blah or similar, so you can explain what foo is without worrying about the definition getting out of sync with the model
(I guess I could write a macro that produces the image/pict foo ≣ blah and also asserts that those two redex terms are equal?)
@stamourv do these changes seem like they should just be accepted (TR optimizer test failures): http://drdr.racket-lang.org/45682/racket/share/pkgs/typed-racket-test/run.rkt ?
@samth: I haven’t looked at them yet.
I suspect that they
’re more likely fine.
s/more/most/
But I want to inspect them.
Should have some time on Friday.
@alexander.kooij has joined the channel
Is there something like modeline for DrRacket, so that the settings can vary for different files? For example, I might define a macro named λ* which I intend to be lambda-like. I think it doesn’t make sense to add this to the “Lambda-like keywords” in the preferences dialog since - Other people who edit my file might not have the same setting as mine - For my other files, λ* might not be lambda-like
Is anyone accessing Slack via IRC gateway? It looks like Slack is going to drop that because it doesn’t provide enough ~lock-in~ “security”.
I am. I’m annoyed at that.
By I expect that by the time they stop supporting it, someone on the internet will have built an alternative, and we’ll just be able to keep using IRC.
s/By/but/
If you like http://irccloud.com\|irccloud.com for IRC (I do) they’re testing their own gateway using the Slack API: https://twitter.com/IRCCloud/status/971416931373854721
Also there is of course an :emacs: front-end for Slack :slightly_smiling_face:
Also there is of course good old #racket on freenode :smile:
Good to know! I’m not sure I’d want to use irccloud, but good to have that option if it comes to that.
I had a brief look at the emacs front-end, but I couldn’t tell if it was a standalone thing, or if it integrates with erc. The latter would be great.
For me, emacs is my programming/writing “room”; mixing in realtime-ish stuff like IRC, mail is a kind of mental buffer overflow ¯_(ツ)_/¯
So I haven’t tried the emacs front-end.
Well, for me emacs is the whole house. ;)