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
January 2025 idris-codegen-node Can't find import --version