Skip to content
Idris2 on Ubuntu

Improve idris-filename-to-load to return expected pair of dir and relative path depending on idris-protocol version #254

Sign in to view logs

Improve idris-filename-to-load to return expected pair of dir and relative path depending on idris-protocol version

Improve idris-filename-to-load to return expected pair of dir and relative path depending on idris-protocol version #254

Annotations

1 error

This job was cancelled