Changes
MANIFEST
Makefile.PL
META.yml
README

lib/B/TypeCheck.pm
lib/Devel/TypeCheck.pm
lib/Devel/TypeCheck.pm
lib/Devel/TypeCheck/Environment.pm
lib/Devel/TypeCheck/Glob2type.pm
lib/Devel/TypeCheck/Pad2type.pm
lib/Devel/TypeCheck/Sym2type.pm
lib/Devel/TypeCheck/Type.pm
lib/Devel/TypeCheck/Type/Chi.pm
lib/Devel/TypeCheck/Type/Dv.pm
lib/Devel/TypeCheck/Type/Eta.pm
lib/Devel/TypeCheck/Type/Io.pm
lib/Devel/TypeCheck/Type/Iv.pm
lib/Devel/TypeCheck/Type/Kappa.pm
lib/Devel/TypeCheck/Type/Mu.pm
lib/Devel/TypeCheck/Type/Nu.pm
lib/Devel/TypeCheck/Type/Omicron.pm
lib/Devel/TypeCheck/Type/Pv.pm
lib/Devel/TypeCheck/Type/Rho.pm
lib/Devel/TypeCheck/Type/TRef.pm
lib/Devel/TypeCheck/Type/TSub.pm
lib/Devel/TypeCheck/Type/TTerm.pm
lib/Devel/TypeCheck/Type/TVar.pm
lib/Devel/TypeCheck/Type/Upsilon.pm
lib/Devel/TypeCheck/Type/Var.pm
lib/Devel/TypeCheck/Type/Zeta.pm
lib/Devel/TypeCheck/Util.pm
lib/_h2ph_pre.ph
lib/opnames.ph

t/00-load.t
t/pod.t
t/pod-coverage.t
t/run-samples.t

t/samples/gelem-good.pl
t/samples/if-then-good.pl
t/samples/in-out-branch-bad.pl
t/samples/in-out-branch-good.pl
t/samples/int-then-string-bad.pl
t/samples/simple.pl
t/samples/transitive-bad.pl
t/samples/transitive-good.pl
t/samples/unify-glob-bad.pl
t/samples/unify-glob-good.pl