word-0.1.0.1: dependencies

Dependencies for word-0.1.0.1

library	base (>=4.7 && <5) Fin (>=0.2.2 && <0.3) natural-induction (>=0.2 && <0.3) peano (>=0.1 && <0.2) transformers