旧Lean by Exampleから型クラスの記事を移設する - Githubissues

lean-ja / lean-by-example

コード例で学ぶ Lean 言語

https://lean-ja.github.io/lean-by-example/

MIT License

15 stars 5 forks source link

旧Lean by Exampleから型クラスの記事を移設する #369

Open Seasawher opened 1 week ago

Seasawher commented 1 week ago

[ ] Coe: 型強制
[ ] CoeDep: 依存型強制
[ ] CoeFun: 関数への型強制
[ ] CoeSort: 型の型強制
[ ] Inhabited: デフォルトの項を持たせる
[ ] Repr: 表示方法を指定する
[ ] ToString: 文字列に変換する