[plt-dev] #lang: the stake in Dracula's heart?

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Mon Feb 1 14:05:31 EST 2010

On Mon, Feb 1, 2010 at 1:03 PM, Carl Eastlund <cce at ccs.neu.edu> wrote:
> On Mon, Feb 1, 2010 at 1:02 PM, Matthew Flatt <mflatt at cs.utah.edu> wrote:
>> If a file extension is the only way to declare ACL2, then you'd have to
>> save a file in DrScheme to use the ACL2 language.
> I am fairly certain that other editors can save files with a ".lisp"
> extension, so I don't know what you mean here.

He means that unsaved files won't know what language they are supposed
to be in, I expect.


Posted on the dev mailing list.