Skip to content
GitLab

community/idris2: also performs tests for racket integration

Closed Sören Tempel requested to merge nmeum/aports:idris2-racket-tests into master

racket is now in community too, hence we can depend on it for check.

Merge request reports