/idris-malfunction

Experimental Malfunction backend for Idris

Primary LanguageHaskellMIT LicenseMIT

Stargazers