GitHub repository: lenary/idris-erlang
Primary language: Erlang
Description: Erlang Backend for Idris Compiler