• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for type-machine-0.1.0.2 source tarball

type-machine-0.1.0.2/

• CHANGELOG.md
• LICENSE
• README.md
• Setup.hs
• type-machine.cabal
• benchmarks/
  • runtime/
    • Benchmark.hs
    • Gen.hs
    • Main.hs
• examples/
  • Vector.hs
• src/
  • TypeMachine.hs
  • TypeMachine/
    • Functions.hs
    • Log.hs
    • TH.hs
    • TM.hs
    • Type.hs
    • Functions/
      • Infix.hs
    • Internal/
      • Utils.hs
    • TH/
      • Is.hs
      • Internal/
        • Utils.hs
    • TM/
      • Liftable.hs
      • Syntax.hs
• test/
  • Spec.hs
  • TypeMachine/
    • FunctionsSpec.hs
    • IsSpec.hs