Zulip Chat Archive

Stream: new members

Topic: Unfold typeclass instance


view this post on Zulip Bhavik Mehta (Jun 08 2020 at 22:46):

Is there a way in which I can use the particular definition of a typeclass instance - in my case I want the actual definition of pullback.fst in the category of types

view this post on Zulip Reid Barton (Jun 08 2020 at 22:47):

Do you mean unfold the definition?

view this post on Zulip Bhavik Mehta (Jun 08 2020 at 22:47):

Yeah I guess so

view this post on Zulip Reid Barton (Jun 08 2020 at 22:47):

They have autogenerated names

view this post on Zulip Bhavik Mehta (Jun 08 2020 at 22:47):

dunfold and dsimp didn't go far enough

view this post on Zulip Bhavik Mehta (Jun 08 2020 at 22:48):

ah never mind I got dunfold to do it


Last updated: May 17 2021 at 21:12 UTC