Zulip Chat Archive
Stream: lean4
Topic: style question
Joseph O (Feb 04 2022 at 20:46):
are lean 4 projects usually named in pascal case or camel case? which is idiomatic?
Mario Carneiro (Feb 05 2022 at 01:43):
Packages are named in pascal case, but github repos don't have any particular constraints and the ones that exist are lowercase
Last updated: Dec 20 2023 at 11:08 UTC