Commit Graph

2 Commits

Author SHA1 Message Date
Zhang Junyang 48ae6611f6 Fix bad partial ord implementation 2023-08-04 11:37:12 +08:00
LI Qing 453d2ad0f0 Add keyable-arc 2023-05-04 14:41:42 +08:00