idris-codegen-javascript - Man Page
manual page for idris-codegen-javascript 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-javascript Can't find import --version