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
August 2024 idris-codegen-javascript Can't find import --version