Skip to content

Updated to Idris2 0.7.0#11

Open
sjeulu wants to merge 3 commits intoRussoul:masterfrom
sjeulu:master
Open

Updated to Idris2 0.7.0#11
sjeulu wants to merge 3 commits intoRussoul:masterfrom
sjeulu:master

Conversation

@sjeulu
Copy link

@sjeulu sjeulu commented Mar 27, 2025

I did the bare minimum to get it working on 0.7.0. Also now there's a flake.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant