Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for kempe-0.1.1.1 candidate 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