Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for hypertypes-0.1.0.2 source tarball
hypertypes-0.1.0.2/
ChangeLog.md
LICENSE
README.md
Setup.hs
hypertypes.cabal
src/
Hyper.hs
Hyper/
Diff.hs
Infer.hs
Recurse.hs
Type.hs
Unify.hs
Class/
Apply.hs
Context.hs
Foldable.hs
Functor.hs
HasPlain.hs
Infer.hs
Monad.hs
Morph.hs
Nodes.hs
Optic.hs
Pointed.hs
Recursive.hs
Traversable.hs
Unify.hs
ZipMatch.hs
Infer/
Env.hs
InferOf.hs
Combinator/
ANode.hs
Ann.hs
Compose.hs
Flip.hs
Func.hs
Infer/
Blame.hs
Result.hs
ScopeLevel.hs
Internal/
Prelude.hs
TH/
Apply.hs
Context.hs
Foldable.hs
Functor.hs
HasPlain.hs
Morph.hs
Nodes.hs
Pointed.hs
Traversable.hs
ZipMatch.hs
Internal/
Utils.hs
Type/
Functor.hs
Prune.hs
Pure.hs
AST/
App.hs
FuncType.hs
Lam.hs
Let.hs
Map.hs
Nominal.hs
Row.hs
Scheme.hs
TypeSig.hs
TypedLam.hs
Var.hs
Scheme/
AlphaEq.hs
Unify/
Binding.hs
Constraints.hs
Error.hs
Generalize.hs
New.hs
Occurs.hs
QuantifiedVar.hs
Term.hs
Binding/
ST.hs
Save.hs
ST/
Load.hs
test/
Benchmark.hs
LangA.hs
LangB.hs
LangC.hs
LangD.hs
ReadMeExamples.hs
Spec.hs
TypeLang.hs
Hyper/
Class/
Infer/
Infer1.hs
Type/
AST/
NamelessScope.hs
NamelessScope/
InvDeBruijn.hs