From: Mandy Martin <tesleft@hotmail.com>
Hi ,
would like to see the subgoal of lemma which is for implementation of liftM of Monad.
is there an example script of lemma which is liftM coming from?
Regards,
Martin
Last updated: May 04 2024 at 08:17 UTC