Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

10 lines (9 sloc) 0.236 kB
int main(int argc, char* argv[]) {
VM* vm = init_vm(4096000, 2048000, argc, argv); // 1024000);
_idris__123_runMain0_125_(vm, NULL);
//_idris_main(vm, NULL);
#ifdef IDRIS_TRACE
gcInfo(vm, 1);
#endif
terminate(vm);
}
Jump to Line
Something went wrong with that request. Please try again.