RecursiveDo in Idris? (Using value before it is defined while in do notation)

后端 未结 0 572
野的像风
野的像风 2020-12-08 10:39

Does Idris 2 have anything similar to Haskell\'s RecursiveDo. I have certain values that I would like to use before they are defined while in the IO

相关标签:
回答
  • 消灭零回复
提交回复
热议问题