lib:clist

Modules

• Data.CList

Dependencies

• base lib:base >=4.9 && <5
• natural-induction lib:natural-induction >=0.2 && <0.3
• peano lib:peano >=0.1 && <0.2

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything