/Idris2-Grin

GRIN backend for Idris2

Primary LanguageIdrisBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

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