rhi
  • Joined on Jun 10, 2020
Loading Heatmap…

rhi pushed to main at rhi/gallery

6 days ago

rhi pushed to main at rhi/gallery

6 days ago

rhi pushed to main at rhi/ips

1 week ago

rhi pushed to main at rhi/ips

1 week ago

rhi created repository rhi/ips

1 week ago

rhi pushed to main at rhi/gallery

2 weeks ago

rhi pushed to main at rhi/gallery

3 weeks ago

rhi pushed to main at rhi/gallery

3 weeks ago

rhi pushed to main at rhi/gallery

3 weeks ago

rhi pushed to main at rhi/gallery

3 weeks ago

rhi pushed to main at rhi/gallery

3 weeks ago

rhi pushed to main at rhi/yummy.cricket

1 month ago

rhi pushed to main at rhi/gallery

1 month ago

rhi pushed to main at rhi/gallery

  • b9b4b91b53 q.t. has a name and its own colour scheme now

1 month ago

rhi pushed to main at rhi/gallery

1 month ago

rhi pushed to main at rhi/gallery

2 months ago

rhi pushed to main at rhi/yummy.cricket

2 months ago

rhi opened issue rhi/hashcons#2

memoisation is unacceptably slow in recent ghc

2 months ago

rhi closed issue rhi/hashcons#1

not thread safe in 8.10.x

2 months ago

rhi commented on issue rhi/hashcons#1

not thread safe in 8.10.x

fixed in 089133bd57, probably

2 months ago