supersven (Sven Tennie)
User

Projects

User does not belong to any projects.

User Details

User Since
May 19 2016, 10:02 AM (161 w, 4 d)

Recent Activity

May 3 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC4186b4100380: Typeset Big-O complexities with Tex-style notation (#16090) (authored by supersven).
Typeset Big-O complexities with Tex-style notation (#16090)
May 3 2019, 12:50 PM

Apr 17 2019

Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCe142ec99e91e: Typeset Big-O complexities with Tex-style notation (#16090) (authored by supersven).
Typeset Big-O complexities with Tex-style notation (#16090)
Apr 17 2019, 10:26 PM

Jul 28 2017

supersven updated the diff for D3800: Add '<&>' operator to Data.Functor. '<&>' calls '<$>' with flipped arguments..
  • Improve haddock of '<&>' in Data.Functor. Add changelog entry.
Jul 28 2017, 11:17 AM
supersven updated the diff for D3800: Add '<&>' operator to Data.Functor. '<&>' calls '<$>' with flipped arguments..
  • Improve haddock of '<&>' in Data.Functor. Add changelog entry.
Jul 28 2017, 11:12 AM
supersven added a comment to D3800: Add '<&>' operator to Data.Functor. '<&>' calls '<$>' with flipped arguments..

Dear Reviewer,

Jul 28 2017, 7:21 AM
Herald added a reviewer for D3800: Add '<&>' operator to Data.Functor. '<&>' calls '<$>' with flipped arguments.: austin.
Jul 28 2017, 7:21 AM

Jul 20 2017

supersven added a comment to D3762: Remove unnecessary GHC option (old workaround for #5252) from SrcLoc. Fixes #13173..

Hey @bgamari ,
I've now created https://phabricator.haskell.org/D3763.

Jul 20 2017, 8:14 AM
supersven created D3763: Remove unnecessary GHC option (old workaround for #5252) from SrcLoc. Fixes #13173..
Jul 20 2017, 8:03 AM
supersven added a comment to D3762: Remove unnecessary GHC option (old workaround for #5252) from SrcLoc. Fixes #13173..

Ups, sorry! Looks like I accidentally ran a reformatter. Will check this and prepare another review.

Jul 20 2017, 7:20 AM
supersven created D3762: Remove unnecessary GHC option (old workaround for #5252) from SrcLoc. Fixes #13173..
Jul 20 2017, 7:02 AM