Skip to main content
5 events
when toggle format what by license comment
Feb 3, 2022 at 5:18 comment added user30211 @skd It's been a while, but do you know how to add Yoneda extensions to this view?
Nov 9, 2019 at 21:14 comment added André Henriques Great answer indeed!
Nov 9, 2019 at 17:06 comment added user30211 Thanks for the great answer! I am definitely interested if you have the time to elaborate on the last paragraph.
Nov 9, 2019 at 16:54 vote accept CommunityBot moved from User.Id=30211 by developer User.Id=481663
Nov 9, 2019 at 15:40 history answered skd CC BY-SA 4.0