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

Change name #32

Closed
10 tasks done
thi8v opened this issue Jun 11, 2023 · 3 comments · Fixed by #35
Closed
10 tasks done

Change name #32

thi8v opened this issue Jun 11, 2023 · 3 comments · Fixed by #35
Labels
breaking changes When a issue or PR make breaking changes. enhancement New feature or request
Milestone

Comments

@thi8v
Copy link
Member

thi8v commented Jun 11, 2023

First Mona was chosen because I had the idea to make the syntax in French. So Idk why but the idea of Mona Lina (la Joconde in french) popped up in my head. But with almost a month passed, I don't like the name Mona, the project changed a lot, the first idea was an interpreted language like Python. But now it's a safe and still light alternative to C.

Todo after found the new name

  • Create a branch
  • Rename all crates with the new name <name>_fe, <name>_codegen etc
  • Replace all Mona in the source code
  • Replace all Mona in the docs.
  • Merge the branch, with a PR, referencing this issue Change name #32
  • In the open issues, replace Mona
  • Change the GitHub description with the new name
  • Rename and move to its own organization
  • Replace all links to this repo to the new one (with the new name)
  • Readd projects to all issues / PR
@thi8v thi8v added the critical label Jun 11, 2023
@thi8v
Copy link
Member Author

thi8v commented Jun 12, 2023

  1. First idea, an onomatopoeia of the speed of a car, Zom, https://github.com/zom-lang is available with the .zm or .zom file extenssion

@thi8v thi8v pinned this issue Jun 12, 2023
@thi8v
Copy link
Member Author

thi8v commented Jun 12, 2023

This issue will end the June 15. If there is no name that I like, Mona will still be the name.

@thi8v thi8v added this to the 0.1.0 milestone Jun 15, 2023
@thi8v thi8v mentioned this issue Jun 15, 2023
@thi8v thi8v linked a pull request Jun 15, 2023 that will close this issue
@thi8v thi8v closed this as completed in #35 Jun 15, 2023
@thi8v thi8v reopened this Jun 15, 2023
@thi8v
Copy link
Member Author

thi8v commented Jun 15, 2023

Finally done! 🎉

@thi8v thi8v closed this as completed Jun 15, 2023
@thi8v thi8v unpinned this issue Jun 15, 2023
@thi8v thi8v added enhancement New feature or request breaking changes When a issue or PR make breaking changes. and removed critical labels Aug 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
breaking changes When a issue or PR make breaking changes. enhancement New feature or request
Projects
Status: Done
Development

Successfully merging a pull request may close this issue.

1 participant