Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for inch-0.1.0 source tarball
inch-0.1.0/
LICENSE
README.md
Setup.hs
inch.cabal
data/
Prelude.inch
examples/
Cost.hs
MergeSort.hs
NonlinearCost.hs
Queue.hs
RedBlack.hs
RedBlackCost.hs
Units.hs
Vectors.hs
Wires.hs
src/
Language/
Inch/
BwdFwd.lhs
Check.lhs
Context.lhs
Erase.lhs
Error.lhs
File.lhs
Kind.lhs
KindCheck.lhs
Kit.lhs
Main.lhs
ModuleSyntax.lhs
Parser.lhs
PrettyPrinter.lhs
ProgramCheck.lhs
Solver.lhs
Syntax.lhs
TyNum.lhs
Type.lhs
TypeCheck.lhs
Unify.lhs
tests/
Main.lhs