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.

Sign up for GitHub

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

Jump to bottom

「リファレンス」と「ガイド」のトップレベルカテゴリを設ける #496

Closed

Seasawher opened this issue Jul 21, 2024 · 1 comment

Labels

慣習

Member

Seasawher commented Jul 21, 2024 •

edited

Loading

現状では言語仕様についての情報（リファレンス）しかない。そうではなくて、慣習やベストプラクティス、実際に数学の理論や定理を実装した例やアルゴリズムの正当性を証明した例など、仕様を理解した上でどのようにコードを組み立てるかという話を書きたい。

idiom(慣習、ベストプラクティス) や、テーマごとのコード例は大切

特に Mathematics in Lean に載っているようなイディオムは言語仕様ではないので、このままの方針だと記載するところがない。

Seasawher added 関数新規項目慣習 and removed 関数 labels

Seasawher changed the title ~~言語仕様の情報とは別に、慣習も載せる~~ 「リファレンス」と「ガイド」のトップレベルカテゴリを設ける

Member Author

Seasawher commented Aug 18, 2024

solved by #632

Seasawher closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment