Shachar Itzhaky (Aug 21 2022 at 12:50): Shachar Itzhaky (Aug 21 2022 at 12:50):Oh I forgot to ask you: can we / do we want to get a proper domain name? Have one allocated by Inria maybe?
Emilio Jesús Gallego Arias (Aug 22 2022 at 14:27):Sure, we got jscoq.wiki for ourselves, but I'm happy to ask for some at Inria, ideas?
Karl Palmskog (Aug 22 2022 at 14:28):jscoq.dev?
Shachar Itzhaky (Aug 22 2022 at 15:25):I was thinking since Coq is under inria.fr then perhaps jsCoq should be too? Or even as a subpath like coq.inria.fr/jscoq? Or would it make it seem too much like it is maintained exclusively by Inria people. jscoq.wiki might be confusing for users but I think @Karl Palmskog 's suggestion makes sense.
Shachar Itzhaky (Aug 22 2022 at 15:27):there is also a programming.systems domain maintained by Deian Stefan (UCSD). I noticed there are a couple things there, I don't know if he is offering office space on his domain for sale :grinning_face_with_smiling_eyes: and also perhaps "programming systems" is not the right keyword combination for Coq stuff.
Last updated: May 31 2023 at 03:30 UTC