idris-lang/Idris-dev — pull request #1481 by markuspf (2014-08-20 15:27:25+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.