Skip to content

feat: allow doSeq in let x <- e | seq#1809

Merged
leodemoura merged 1 commit intoleanprover:masterfrom digama0:let_else_seqNov 8, 2022

Commits

Commits on Nov 7, 2022