| .. |
| windows | Add some machinery to generate C | 6 years ago |
| getline.c | wip | 6 years ago |
| getline.h | wip | 6 years ago |
| idris_bitstring.c | wip | 6 years ago |
| idris_bitstring.h | Add some machinery to generate C | 6 years ago |
| idris_buffer.c | get it to work | 6 years ago |
| idris_buffer.h | wip | 6 years ago |
| idris_gc.c | Merge remote-tracking branch 'upstream' | 6 years ago |
| idris_gc.h | Add some machinery to generate C | 6 years ago |
| idris_gmp.c | wip | 6 years ago |
| idris_gmp.h | Add some machinery to generate C | 6 years ago |
| idris_heap.c | Merge remote-tracking branch 'upstream' | 6 years ago |
| idris_heap.h | Merge remote-tracking branch 'upstream' | 6 years ago |
| idris_main.c | get it to work | 6 years ago |
| idris_net.c | more stuff, fix splitting a bit | 6 years ago |
| idris_net.h | more stuff, fix splitting a bit | 6 years ago |
| idris_net_plan9.c | more stuff, fix splitting a bit | 6 years ago |
| idris_opts.c | CFLAGS: remove -p | 6 years ago |
| idris_opts.h | wip | 6 years ago |
| idris_rts.c | Merge remote-tracking branch 'upstream' | 6 years ago |
| idris_rts.h | wip | 6 years ago |
| idris_stats.c | CFLAGS: remove -p | 6 years ago |
| idris_stats.h | wip | 6 years ago |
| idris_stdfgn.c | wip | 6 years ago |
| idris_stdfgn.h | more stuff, fix splitting a bit | 6 years ago |
| idris_stdfgn_plan9.c | flush stdout to make the repl behave as it should | 6 years ago |
| idris_utf8.c | wip | 6 years ago |
| idris_utf8.h | Add some machinery to generate C | 6 years ago |
| libtest.c | Add some machinery to generate C | 6 years ago |
| Makefile | Add some machinery to generate C | 6 years ago |
| mini-gmp.c | CFLAGS: remove -p | 6 years ago |
| mini-gmp.h | CFLAGS: remove -p | 6 years ago |
| mkfile | get it to work | 6 years ago |
| platform.h | wip | 6 years ago |