Skip to content

Adding support for Idris2 #34

Adding support for Idris2

Adding support for Idris2 #34

DeterminateCI  /  build (x86_64-darwin, macos-latest)

succeeded Dec 16, 2024 in 5m 14s