idris-lang / Idris2

A purely functional programming language with first class types

https://idris-lang.org/

Other

2.53k stars 380 forks source link

Closed mattpolzin closed 8 months ago

mattpolzin commented 8 months ago

Description

[ ] If this is a fix, user-facing change, a compiler change, or a new paper implementation, I have updated CHANGELOG_NEXT.md (and potentially also CONTRIBUTORS.md).

mattpolzin commented 8 months ago

This would have worked if the second macOS workflow had been updated as well, but I'm closing in favor of https://github.com/idris-lang/Idris2/pull/3237