idris-codegen-c - Man Page
manual page for idris-codegen-c Can't find import --version
Description
Can't find import --help
Uncaught error: /usr/share/idris-1.3.4/rts/idris_main.c: openFile: does not exist (No such file or directory)
Uncaught error: /usr/share/idris-1.3.4/rts/idris_main.c: openFile: does not exist (No such file or directory)
Info
August 2024 idris-codegen-c Can't find import --version