Skip to content

emccorson/idris-malfunction

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

9 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Haskell 97.6%
  • Idris 2.4%