Skip to content
Idris2 on Ubuntu

Ensure Idris is running and current idr file loaded when using idris-switch-to-repl #305

Sign in to view logs

Ensure Idris is running and current idr file loaded when using idris-switch-to-repl

Ensure Idris is running and current idr file loaded when using idris-switch-to-repl #305

build (30.2)

build (30.2)
succeeded Nov 28, 2025 in 1m 30s