search

aya-prover / aya-dev

A proof assistant and a dependently-typed language
https://www.aya-prover.org
MIT License
281 stars 16 forks source link

Name one of the tools Megumu #24

Open re-xyr opened 3 years ago

re-xyr commented 3 years ago

Since we have the blue Aya (i.e. Iizunamaru Megumu) now, who is the leader of Tengu's (incl. Aya), we can consider naming one of our tools Megumu too (such as the package manager, or the installation manager). We may also use mgm as a mysterious abbreviation.

ice1000 commented 3 years ago

I like the abbr.. The 'cargo' thing can be named aa mgm

ice1000 commented 3 years ago

s/aa/as/

ice1000 commented 3 years ago

AYA can be alternated as YAY which is also a good name

ice1000 commented 3 years ago

https://twitter.com/mononobe_kanako/status/1426867955501920259/photo/2

ice1000 commented 3 years ago

https://crates.io/crates/mgm is taken, but https://crates.io/crates/megumu isn't.

ice1000 commented 3 years ago

Maybe we wanna write the Aya-up tool with Rust, so it can be installed easily (the installer should be a small binary. It downloads large binaries like Aya).