/idris-clean

A priliminary backend for Idris that compiles to Clean.

Primary LanguageIdrisMIT LicenseMIT

Watchers