OvermindDL1 / idris-elixircg

Entirely Testing, don't use this currently

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Idris Elixir Code Generator

This is a code generator for Idris that outputs Elixir code.

Elixir output was chosen for ease of use of integrating with the Elixir ecosystem.

cabal build && ./dist/build/idris-elixircg/idris-elixircg ../hello_lib.idr --interface -o el && echo "---" && cat el.LDeclsDebug && echo "---" && cat el

About

Entirely Testing, don't use this currently

License:Other


Languages

Language:Haskell 100.0%