Skip to content

The Dart backend for Idris 2.

License

Notifications You must be signed in to change notification settings

bamboo/idris2dart

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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