Commit c14c850

committed

Natural Order definition utilizing an identity type

1 parent 4ff4bbb commit c14c850Copy full SHA for c14c850

2 files changed

+401

-0

lines changed

source/Naturals
- IdOrder.lagda
- index.lagda

2 files changed

+401

-0

lines changed

Comments

(0)