Files

• Changes
• MANIFEST
• META.yml
• Makefile.PL
• README
• lib/B/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-coverage.t
• t/pod.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