GitBucket
| 2026-05-19 |
Merge remote-tracking branch 'origin/feature/unification' into feature/semantic-equivalence
Sakoda2269
committed
on 19 May
|
|---|---|
| 2026-05-16 |
木の構築を更新
Sakoda2269
committed
on 16 May
|
| 2026-04-20 |
DependencyTermの支配項に項が来れないようにした
Sakoda2269
committed
on 20 Apr
|
| 2026-04-18 |
書き換えの推論を少し実装
Sakoda2269
committed
on 18 Apr
|