idris-lang/Idris-dev — pull request #1483 by markuspf (2014-08-20 15:47:26+00:00)
Title: Remove LLVM codegen

This PR removes the LLVM codegen entirely. There is already a github repository which contains the current state of the LLVM code generator at https://github.com/markuspf/idris-llvm which should probably be integrated with Idris-dev if possible.