Skip to content

Migrate to Idris0.8#110

Merged
berewt merged 4 commits intomainfrom
idris0.8
Dec 21, 2025
Merged

Migrate to Idris0.8#110
berewt merged 4 commits intomainfrom
idris0.8

Conversation

@berewt
Copy link
Copy Markdown
Collaborator

@berewt berewt commented Dec 21, 2025

No description provided.

@berewt berewt changed the title Migrate Idris0.8 Migrate to Idris0.8 Dec 21, 2025
@berewt berewt merged commit 3fa16e6 into main Dec 21, 2025
2 checks passed
@berewt berewt deleted the idris0.8 branch December 21, 2025 21:54
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