Zulip Chat Archive

Stream: general

Topic: my monads!

Jakob von Raumer (Mar 23 2018 at 15:42):

inside a tactic do-block, how do i get a list expr out of a list (tactic expr)?

Simon Hudon (Mar 23 2018 at 15:43):

list.mmap id

Jakob von Raumer (Mar 23 2018 at 15:44):

thanks :)

Last updated: May 02 2025 at 03:31 UTC