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: Apr 25 2024 at 04:18 UTC