mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-11-15 01:25:05 +03:00
9 lines
205 B
C
9 lines
205 B
C
int main(int argc, char* argv[]) {
|
|
VM* vm = init_vm(4096000, 2048000); // 1024000);
|
|
_idris__123_runMain0_125_(vm, NULL);
|
|
//_idris_main(vm, NULL);
|
|
#ifdef IDRIS_TRACE
|
|
gcInfo(vm, 1);
|
|
#endif
|
|
}
|