idris-lang / Idris2

A purely functional programming language with first class types

https://idris-lang.org/

Other

2.46k stars 368 forks source link

Closed joelberkeley closed 1 month ago

joelberkeley commented 2 months ago

Description

I was surprised at first to find that toMaybeT executes its effect regardless of the condition. Does my docstring edit clarify that?