Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
    Greg Pfeil
    @sellout

    In case anyone is listening,

    makeDualDec
      [d| cata :: Functor f => (f a -> a) -> Fix f -> a
          cata f = f . fmap (cata f) . unfix |]
      "ana"

    does the right thing now, which is sort of my base level “it works!” As @parsonsmatt has pointed out, plenty of things are still wrong, but hey, I’m not presenting this to anyone for like 2.5 more weeks, so plenty of time for me to figure out everything there is about duality, right?

    Greg Pfeil
    @sellout
    @xgrommx BTW, I made this to avoid having to write gcomutu. So thanks 😆
    Denis Stoyanov
    @xgrommx
    @sellout WOW! nice!
    hm... some TemplateHaskell magic =)
    Greg Pfeil
    @sellout
    @xgrommx “magic” is a very generous way to put it :D
    Sandy Maguire
    @isovector
    when did i join this
    hi greg!
    and matt
    and kris!!
    Greg Pfeil
    @sellout
    Heh, I just invited you people, and you never showed up.
    Sandy Maguire
    @isovector
    too many damn im platforms
    Greg Pfeil
    @sellout
    Amen.
    Sandy Maguire
    @isovector
    slack irc gitter github email blogs
    reddit
    who has time for all this shit
    okay gonna go back to what i was doing. love you all
    Denis Stoyanov
    @xgrommx
    :+1: