Packages

Erlang code generator for Idris 2

Current section

Files

Jump to
idris2 src Idris.Idris2.Compiler.Erlang.Codegen.ErlExprToAbstractFormat.erl
Raw

src/Idris.Idris2.Compiler.Erlang.Codegen.ErlExprToAbstractFormat.erl

File is too large to be displayed (0.3 MB).