Deprecated

Dependencies (8)

• Fin >=0.2.1 && <0.3
• alg >=0.2.5 && <0.3
• base >=4.7 && <5
• base-unicode-symbols 
• natural-induction >=0.2 && <0.3
• peano >=0.1 && <0.2
Show all…