Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

I dub thee "Deft" #1

Merged
merged 1 commit into from
Apr 21, 2024
Merged

I dub thee "Deft" #1

merged 1 commit into from
Apr 21, 2024

Conversation

cgay
Copy link
Member

@cgay cgay commented Apr 21, 2024

Rename dylan-tool to deft. Bruce's backronym was "dylan environment for tools"...deft. (He said it was fine to steal the name.)

  • it sounds nice and has a lot of positive energy :)
  • it's less awkward when needing to distinguish between the "dylan" tool and the language.

Rename dylan-tool to deft. Bruce's backronym was "dylan environment for
tools"...deft.  (He said it was fine to steal the name.)

* it sounds nice and has a lot of positive energy :)
* it's less awkward when needing to distinguish between the "dylan" tool and
  the language.
@cgay cgay merged commit 7755a43 into dylan-lang:main Apr 21, 2024
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant