idris-lang / Idris2

A purely functional programming language with first class types

https://idris-lang.org/

Other

2.46k stars 369 forks source link

Closed michaelmesser closed 1 week ago

michaelmesser commented 1 week ago

Description

decision is not used in this file, so I assume it is intended to be exported.

[x] 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).