On that subject, I just now tried to install racket-mode, but it isn't
listed at all.  I see it on the website, but not in the M-x
package-list-packages list.

I have this in my .emacs:

(setq package-archives '(("gnu" . "https://elpa.gnu.org/packages/";)
                         ("marmalade" . "
https://marmalade-repo.org/packages/";)
                         ("org" . "http://orgmode.org/elpa/";)))

(cond
 ((>= 24 emacs-major-version)
  (require 'package)
  (package-initialize)
  (add-to-list 'package-archives
           '("melpa-stable" . "http://stable.melpa.org/packages/";) t)
  (package-refresh-contents)
  )
 )


I see dr-racket-like-unicode and successfully installed it, but not
racket-mode.  Any ideas what I could do to make this work?


On Tue, Nov 15, 2016 at 12:48 PM, Greg Hendershott <
greghendersh...@gmail.com> wrote:

> > I did not, but that's a very nice feature.  Unfortunately, I'm an Emacs
> > guy.  :/
>
> Well as is often the case Emacs provides only about 42 ways you could
> do this. :)   A few:
>
> In racket-mode C-M-y inserts λ.
>
> There's also racket-unicode-method-enable:
>
>   https://github.com/greghendershott/racket-mode/blob/master/Reference.md#
> racket-unicode-input-method-enable
>
> Emacs 24.4 adds prettify-symbols-mode, where you can e.g. type
> "lambda" but an overlay displays it as λ (an idea I first saw in Neil
> van Dyke's Quack):
>
>   http://emacsredux.com/blog/2014/08/25/a-peek-at-emacs-24-
> dot-4-prettify-symbols-mode/
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to