README.md

Idris2grin

GRIN backend for Idris2.

This only works with recent versions of idris2 (v0.4.0 +).

Todo

• Finish unfinished functions
  • primitive related functions
  • unwrap/wrap literals
• Fix literals so they are wrapped in appropriate Constructor (see getConstTag)
• Tests
• Add missing primitives
• FFI