Skip to content
Back to pull request #80

[ fix ] fix invalid forward declaration #623

Sign in to view logs

[ fix ] fix invalid forward declaration

[ fix ] fix invalid forward declaration #623

Build the lib with Idris2 HEAD

Build the lib with Idris2 HEAD
succeeded Jan 30, 2025 in 48s