Directory listing for TypeNat-0.5.0.0 candidate source tarball

TypeNat-0.5.0.0/Data/TypeNat/