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

Directory listing for kempe-0.1.1.1 source tarball

kempe-0.1.1.1/

• CHANGELOG.md
• LICENSE
• README.md
• kempe.cabal
• bench/
  • Bench.hs
• docs/
  • manual.pdf
• examples/
  • factorial.kmp
  • hamming.kmp
  • splitmix.kmp
• lib/
  • bool.kmp
  • either.kmp
  • gaussian.kmp
  • libc.kmp
  • maybe.kmp
  • numbertheory.kmp
  • order.kmp
  • rational.kmp
  • tuple.kmp
• prelude/
  • arith.kmp
  • fn.kmp
• run/
  • Main.hs
• src/
  • Data/
    • Foldable/
      • Ext.hs
  • Kempe/
    • AST.hs
    • Error.hs
    • File.hs
    • IR.hs
    • Inline.hs
    • Lexer.x
    • Module.hs
    • Monomorphize.hs
    • Name.hs
    • Parser.y
    • Pipeline.hs
    • Shuttle.hs
    • TyAssign.hs
    • Unique.hs
    • AST/
      • Size.hs
    • Asm/
      • X86.hs
      • X86/
        • ControlFlow.hs
        • Linear.hs
        • Liveness.hs
        • Type.hs
    • Check/
      • Lint.hs
      • Pattern.hs
      • Restrict.hs
      • TopLevel.hs
    • Error/
      • Warning.hs
    • IR/
      • Opt.hs
      • Type.hs
    • Proc/
      • Nasm.hs
  • Prettyprinter/
    • Ext.hs
• test/
  • Abi.hs
  • Backend.hs
  • Golden.hs
  • Harness.hs
  • Parser.hs
  • Spec.hs
  • Type.hs
  • data/
    • abi.kmp
    • ccall.kmp
    • export.kmp
    • lex.kmp
    • maybeC.kmp
    • multiConstruct.kmp
    • mutual.kmp
    • transitive.kmp
    • ty.kmp
  • err/
    • kind.kmp
    • merge.kmp
    • patternMatch.kmp
    • questionable.kmp
    • stupid.kmp
  • examples/
    • bool.kmp
    • hamming.kmp
    • splitmix.kmp
  • golden/
    • a.ir
    • abi.ir
    • bool.out
    • factorial.out
    • gaussian.ir
    • hamming.out
    • numbertheory.out
    • splitmix.out
  • harness/
    • bool.c
    • factorial.c
    • hamming.c
    • numbertheory.c
    • splitmix.c