rhi
  • Joined on Jun 10, 2020
Loading Heatmap…

rhi created pull request rhi/quox#12

WIP: co-de bruijn

5 days ago

rhi opened issue rhi/quox#11

coe sometimes gets stuck on a Clo

5 days ago

rhi pushed to 🥚🛁 at rhi/quox

5 days ago

rhi opened issue rhi/quox#10

qits, maybe

1 week ago

rhi opened issue rhi/quox#9

avoid unfolding definitions in eq checking when possible

2 weeks ago

rhi pushed to main at rhi/idris2-vim

2 weeks ago

rhi pushed to main at rhi/idris2-vim

2 weeks ago

rhi pushed to 🥚🛁 at rhi/quox

2 weeks ago

rhi created branch 🥚🛁 in rhi/quox

2 weeks ago

rhi pushed to 🐉 at rhi/quox

2 weeks ago

rhi pushed to 🐉 at rhi/quox

3 weeks ago

rhi closed issue rhi/quox#5

file locations in errors

3 weeks ago

rhi commented on issue rhi/quox#5

file locations in errors

3 weeks ago

rhi closed issue rhi/quox#7

crude but effective stratification (probably)

3 weeks ago

rhi commented on issue rhi/quox#7

crude but effective stratification (probably)

3 weeks ago

rhi pushed to 🐉 at rhi/quox

3 weeks ago

rhi pushed to 🐉 at rhi/quox

  • 64de93a13c remove square brackets around type lines

4 weeks ago

rhi pushed to 🐉 at rhi/quox

4 weeks ago

rhi pushed to 🐉 at rhi/quox

4 weeks ago

rhi pushed to main at rhi/lang

1 month ago