Revision as of 17:34, 16 April 2013 edit LambdaTotoro (talk \| contribs) 74 edits Added Syntax section ← Previous edit		Revision as of 19:56, 16 April 2013 edit undo LambdaTotoro (talk \| contribs) 74 edits m Added name history Next edit →
Line 25: Currently, Idris compiles to [[C (programming language)\|C]] and relies on a custom copying [[Garbage collection (computer_science)\|garbage collector]] using [[Cheney's algorithm]]. There also exist [[JavaScript]] and [[Java]] backends, and a partial [[LLVM]] backend. The name ''Idris'' goes back to the character of the singing dragon in the 70's UK kids' program [[Ivor_the_Engine#Idris_the_Dragon\|Ivor the Engine]]. ==Syntax==

Idris (programming language): Difference between revisions