git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4767 from zenntenn/patch-1
3257106Niklas Larsson
docs/reference/codegen.rst+7
compare with master
unifiedsplit
@@ -16,6 +16,13 @@ Official Backends
16C Language
16C Language
17----------
17----------
18
18
19+The default target of Idris is C. In order to view the generated C code, compile via:
20+
21+::
22+
23+ $ idris hello.idr -S -o hello.c
24+
25+
19Javascript
26Javascript
20----------
27----------
21
28