GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → stedolan → idris-malfunction

stedolan / idris-malfunction

Licence: MIT license
Experimental Malfunction backend for Idris

Programming Languages

haskell
3896 projects
Idris
72 projects

Idris backend for Malfunction

Compiles Idris to Malfunction

It seems to go pretty fast:

$ idris pythag.idr -o pythag-idris
$ idris pythag.idr --codegen malfunction -o pythag-malfunction
$ time ./pythag-idris  > /dev/null

real    0m13.102s
user    0m13.084s
sys     0m0.004s
$ time ./pythag-malfunction  > /dev/null

real    0m1.096s
user    0m1.092s
sys     0m0.000s
$
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].