Skip to content
master
Go to file
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
src
 
 
 
 
 
 
 
 
 
 

README.md

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
$ 

About

Experimental Malfunction backend for Idris

Resources

License

Releases

No releases published
You can’t perform that action at this time.