edwinb/Idris-dev — pull request #146 by raichoo (2013-01-09 15:36:09+00:00)
Title: Javascript backend

Initial version of a javascript backend. This generates unoptimized code. Beware of exploding call stacks and missing primitives.