Open piyush-kurur opened 8 years ago
As per the discussion on irc we should work towards inclusion of twisted functors. Besides other things I would like to bikeshed the names as well.
these:
http://ozark.hendrix.edu/~yorgey/pub/twisted.pdf
?
As per the discussion on irc we should work towards inclusion of twisted functors. Besides other things I would like to bikeshed the names as well.