Skip to content

Natural Order definition utilizing an identity type#215

Draft
lane-core wants to merge 1 commit intomartinescardo:masterfrom lane-core:nat-id-order

Commits

Commits on Oct 17, 2023