rhi
  • Joined on Jun 10, 2020
Loading Heatmap…

rhi pushed to main at rhi/gallery

6 days ago

rhi pushed to main at rhi/quox

1 week ago

rhi deleted branch haskell from rhi/quox

2 weeks ago

rhi pushed to main at rhi/quox

2 weeks ago

rhi pushed to main at rhi/quox

2 weeks ago

rhi pushed to main at rhi/quox

2 weeks ago

rhi pushed to ginger at rhi/gallery

  • 92b198afce tweaks in Date
  • b8970b6436 remove BuilderQQ from Date
  • 2485e3e234 add ToGVal instances
  • 2d27465ffc remove the individual 18+ badges from alts with the badge on the gallery, and the 'are you an adult?' popup, and the cw before showing the image, they're probably unnecessary and they add a lot of clutter
  • 004e43f52f ensure ids are unique
  • Compare 21 commits »

4 weeks ago

rhi pushed to main at rhi/gallery

  • 2d27465ffc remove the individual 18+ badges from alts with the badge on the gallery, and the 'are you an adult?' popup, and the cw before showing the image, they're probably unnecessary and they add a lot of clutter
  • 004e43f52f ensure ids are unique
  • 8e5e066699 style the categories
  • 2ccfb72b22 add support for categorised alts
  • Compare 4 commits »

4 weeks ago

rhi pushed to main at rhi/gallery

1 month ago

rhi pushed to main at rhi/blog

1 month ago

rhi pushed to main at rhi/blog

1 month ago

rhi pushed to main at rhi/blog

1 month ago

rhi created repository rhi/blog

1 month ago

rhi pushed to main at rhi/quox

2 months ago

rhi pushed to main at rhi/agda-prelude

2 months ago

rhi created repository rhi/agda-prelude

2 months ago

rhi pushed to main at rhi/quox

2 months ago

rhi pushed to haskell at rhi/quox

2 months ago

rhi pushed to main at rhi/quox

2 months ago

rhi pushed to main at rhi/quox

2 months ago