idris2dart

An Idris 2 code generator that outputs Dart code.

Why

To explore what cross-platform app development with Idris 2 powered by Flutter can look like and maybe build something beautiful along the way.

Status

• data types, pattern matching, etc
• basic Char, String and numeric primitives
• bidirectional FFI
• delay/force
• remaining cast primitives
• bounded int operations on Bits* values
• remaining IO primitives
• IOArray primitives

Building

1. Install the latest Idris 2 (must include the idris2api package)
2. make all
3. Add ./build/exec/idris2dart to your PATH or create an alias

Using

idris2dart is a fully functional Idris 2 environment except it comes with a single code generator, dart.

For example, to compile an Idris module to Dart, use:

$ idris2dart Main.idr -o main.dart