Issues
- 1
plausible のカスタマイズ方法を紹介する
#1098 opened by Seasawher - 1
plausibleの見出し上の位置がおかしい
#1153 opened by Seasawher - 0
List.unfold を帰納的述語として定義する例
#1159 opened by Seasawher - 0
reverse は foldl で書くことができる
#1157 opened by Seasawher - 0
List.unfold は停止保証できない
#1158 opened by Seasawher - 0
資料：Programming with Categories
#1156 opened by Seasawher - 2
Prod の普遍性を表す簡単な例
#1155 opened by Seasawher - 0
Pair が関手（functor）であることを示す例
#1154 opened by Seasawher - 0
plausible の位置がおかしい
#1152 opened by asei-proxima - 0
`CoeSort` の説明に誤り
#1150 opened by Seasawher - 0
notation のパース優先度の例が間違っている
#1148 opened by Seasawher - 0
SciLeanゼミで simproc を定義したときの例
#1147 opened by Seasawher - 0
rw は書き換えルール（書き換え対象ではなく）に変数束縛があっても大丈夫
#1145 opened by Seasawher - 1
`widget_module` で p5js を使用するウィジェットを自作する
#1144 opened by Seasawher - 0
`#html` コマンドを紹介する
#1142 opened by Seasawher - 0
set_option 系のリンタと env 系のリンタは何が違うのか
#1141 opened by Seasawher - 0
Parser と ParserDescr の違いについて
#1138 opened by Seasawher - 0
Lean の他の証明支援系と比較した長所
#1139 opened by Seasawher - 0
コンストラクタ名を返す型クラスは `deriving` できるはず
#1137 opened by Seasawher - 0
Macro 型を紹介する
#1135 opened by Seasawher - 0
macro や macro_rules コマンドで Macro 型の項が生成されているのか？
#1134 opened by Seasawher - 0
#lint コマンドを紹介する
#1132 opened by Seasawher - 1
属性をリストアップする
#1131 opened by Seasawher - 1
`[computed_field]` 属性とは何か
#1130 opened by Seasawher - 1
`declaration` というパーサがある
#1127 opened by Seasawher - 1
構文カテゴリの記述法を考え直す
#1128 opened by Seasawher - 0
Syntax 型を紹介する
#1103 opened by Seasawher - 0
`|>` と `|>.` は別の構文である
#1124 opened by Seasawher - 2
構文カテゴリが「それですべて」であることをどうやって知るのか
#1115 opened by Seasawher - 0
#version コマンドを紹介する
#1116 opened by Seasawher - 1
do だけ desugar する方法はあるのか？
#1123 opened by Seasawher - 1
`constructor` が LawfulMonad を分解できなくなる
#1122 opened by Seasawher - 3
theorem に docString を書くことを強制するリンタ
#1109 opened by Seasawher - 0
`Parser` 型を紹介する
#1121 opened by Seasawher - 0
`match` と `Lean.Parser.Term.matchDiscr`
#1120 opened by Seasawher - 0
`add_hoge_rules` コマンドに `local` や `scoped` を付与できない
#1118 opened by Seasawher - 0
aesop ラッパの属性を手作りする例を示す
#1114 opened by Seasawher - 0
- 0
`declare_aesop_rule_sets` コマンドを紹介する
#1108 opened by Seasawher - 0
帰納法の原理を手作りする例を示す
#1111 opened by Seasawher - 0
SatisfiesM を調査する
#1110 opened by Seasawher - 0
Json 型を紹介する
#1106 opened by Seasawher - 0
MacroM 型を紹介する
#1105 opened by Seasawher - 0
Expr 型を紹介する
#1104 opened by Seasawher - 0
syntax コマンドの name := 構文を紹介する
#1101 opened by Seasawher - 0
- 1
List.attach 使用例
#1097 opened by Seasawher - 1
Updates available but manual intervention required
#1095 opened by github-actions - 0
Array と比較した List のパフォーマンス上の利点
#1094 opened by Seasawher - 0