GitBucket
| 2026-09-30 |
ArgumentExtensionまで
Sakoda2269
committed
on 30 Sep
|
|---|---|
|
test完了
Sakoda2269
committed
on 30 Sep
|
|
|
Uncurrying途中まで
Sakoda2269
committed
on 30 Sep
|
|
| 2026-09-29 |
Constantnessまで
Sakoda2269
committed
on 29 Sep
|
|
Constantness途中
Sakoda2269
committed
on 29 Sep
|
|
|
testを修正
Sakoda2269
committed
on 29 Sep
|
|
| 2026-09-28 |
testを修正, EquationAxiom#applyの戻り値を変更
Sakoda2269
committed
on 28 Sep
|
| 2026-09-23 |
公理見直し中
Sakoda2269
committed
on 23 Sep
|
|
公理の推論の実装変更とtransitivity testまで
Sakoda2269
committed
on 23 Sep
|
|
| 2026-09-22 |
requiredAssumptions実装まで
Sakoda2269
committed
on 22 Sep
|
| 2026-09-21 |
公理系一通り実装完了
Sakoda2269
committed
on 21 Sep
|
|
Right Normalizationまで
Sakoda2269
committed
on 21 Sep
|
|
| 2026-09-18 |
ArgumentDependencyExtractionまで
Sakoda2269
committed
on 18 Sep
|
| 2026-09-17 |
left sub, identityを追加
Sakoda2269
committed
on 17 Sep
|
| 2026-09-15 |
RDLTerm 以下の Type と Symbol を削除（RDLWorkbenchに委譲）
n-nitta
committed
on 15 Sep
|
| 2026-09-12 |
dynamicの見直し
Sakoda2269
committed
on 12 Sep
|
| 2026-09-02 |
left subとright subをdynamicに
Sakoda2269
committed
on 2 Sep
|
|
複数引数に対応中
Sakoda2269
committed
on 2 Sep
|
|
|
公理追加完了
Sakoda2269
committed
on 2 Sep
|
|
| 2026-08-26 |
公理を追加
Sakoda2269
committed
on 26 Aug
|
| 2026-08-19 |
等式の公理を一部追加
Sakoda2269
committed
on 19 Aug
|