GitBucket
| 2026-04-20 |
DependencyTermの支配項に項が来れないようにした
Sakoda2269
committed
11 days ago
|
|---|---|
| 2026-04-18 |
書き換えの推論を少し実装
Sakoda2269
committed
13 days ago
|
| 2026-04-17 |
依存項の支配項、引数項を複数持てるようにした
Sakoda2269
committed
14 days ago
|
| 2026-03-24 |
項のサイズのバグを修正
Sakoda2269
committed
on 24 Mar
|
| 2026-03-17 |
項にサイズを追加
Sakoda2269
committed
on 17 Mar
|
| 2026-03-09 |
公理を追加
Sakoda2269
committed
on 9 Mar
|
| 2026-02-28 |
公理による推論を実装中
Sakoda2269
committed
on 28 Feb
|
| 2025-12-20 |
意味論的同値関係について実装
Sakoda2269
committed
on 20 Dec
|
|
途中まで
Sakoda2269
committed
on 20 Dec
|
|
|
途中まで
Sakoda2269
committed
on 20 Dec
|
|
|
線形右正規形に関する制約を追加
Sakoda2269
committed
on 20 Dec
|
|
| 2025-11-19 |
Merge branch 'feature/meta-model2'
Sakoda2269
committed
on 19 Nov
|
|
セッターを追加
Sakoda2269
committed
on 19 Nov
|
|
| 2025-11-05 |
公理に出現する階数の制約を追加できるようにした
Sakoda2269
committed
on 5 Nov
|
|
集合の形の評価可能項に対応
Sakoda2269
committed
on 5 Nov
|
|
| 2025-11-01 |
線形右正規化のバグを修正
Sakoda2269
committed
on 1 Nov
|
| 2025-10-31 |
Dependency#toStringがバグっていたので修正
Sakoda2269
committed
on 31 Oct
|
| 2025-10-23 |
MetaRDLTermにtypeCheckを追加
Sakoda2269
committed
on 23 Oct
|
|
ディレクトリ変更
Sakoda2269
committed
on 23 Oct
|