Skip to content

testing/idris2: refactor

Sören Tempel requested to merge nmeum/aports:idris2-stage0 into master
  • Make idris2 --install work by default
  • Complete self-hosting step
  • Install documentation for package from the standard library
  • Provide an idris2-api subpackage
  • Remove idris2_app directory from $PATH
  • Backport upstreamed patch for idris2 --init
Edited by Sören Tempel

Merge request reports