lib:Fin

Modules

• Data.Fin

Dependencies

• base lib:base >=4.7 && <5
• clist lib:clist >=0.2 && <0.3
• natural-induction lib:natural-induction >=0.2 && <0.3
• peano lib:peano >=0

Reverse dependencies

Direct only. Not exhaustive.

• rv lib:rv