idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-18 00:31:57 +03:00
Code Issues Projects Releases Wiki Activity
1,554 Commits 6 Branches 9 Tags 113 MiB
5aa4262792
Commit Graph

2 Commits

Author SHA1 Message Date
stefan-hoeck
29a6aa45e0 fixed whitespace for *.md and .rst files 2021-01-22 15:08:49 +00:00
Edwin Brady
3007b5a99d Generate an executable via CC 
This builds a .o from the generated C, and statically links with the
libidris2_support library. It doesn't yet dynamically link with any
additional libraries.
 2020-10-11 18:35:51 +01:00