git.iko.soy/Idris-dev
on c79fb21 help sign in
history ofsrc/Util/LLVMStubs.hs
all commits
f675e05Add CodegenInfo structure, give CGs uniform typesEdwin Brady 5000aebAdd a Cabal libraryBrian McKenna 3c32b65Whitespace cleanup.George Leontiev 2a307a2Fix building without LLVMMelvar Chen e9ba9b9Fail idiomaticallyNiklas Larsson 7eaa86aMake LLVM optional but the defaultNiklas Larsson