idris-codegen-node - Man Page
manual page for idris-codegen-node Can't find import --version
Description
Can't find import --help
Uncaught error: Elaborating {__infer_0} arg {ival_0}: NoSuchVariable run__IO
Uncaught error: Elaborating {__infer_0} arg {ival_0}: NoSuchVariable run__IO
Info
August 2024 idris-codegen-node Can't find import --version