aya-dev icon indicating copy to clipboard operation
aya-dev copied to clipboard

Published 20 hours ago • verified publisher icon aya-prover

Supporting monads and do notation

Open lunalunaa opened this issue 3 years ago • 1 comments

We urgently need this.

lunalunaa avatar Feb 23 '22 15:02 lunalunaa

Haskell's do notation is too simple. Maybe we need Agda's do which has the where <- syntax. But saying this is probably too early

ice1000 avatar Feb 23 '22 18:02 ice1000

Is it implemented already?

ice1000 avatar Aug 30 '22 02:08 ice1000

Complted

ice1000 avatar Aug 30 '22 02:08 ice1000