rhi

• Joined on Jun 10, 2020

Repositories Public Activity Starred Repositories Following Followers

Loading Heatmap…

rhi pushed to main at rhi/idris2-tap

• ea0ae8f127 flake stuff

4 hours ago

rhi pushed to main at rhi/idris2-tap

• 27c1c9fbc0 flake stuff

5 hours ago

rhi pushed to main at rhi/idris2-tap

• d8e8a95ef4 skeleton of example

6 hours ago

rhi pushed to main at rhi/quox

• b4ac58f866 move TAP to its own package

6 hours ago

rhi pushed to main at rhi/idris2-tap

• 4c0ab9ca9b uncomment sourceloc

7 hours ago

rhi created branch main in rhi/idris2-tap

7 hours ago

rhi pushed to main at rhi/idris2-tap

• 25a779eae4 docstrings
• 4a81280811 ignore "result"
• 06557200bc first

7 hours ago

rhi created repository rhi/idris2-tap

7 hours ago

rhi pushed to main at rhi/quox

• 4befbbeb42 rename devShells after subdirs

10 hours ago

rhi pushed to main at rhi/quox

• bc9344c6ba some reduction tests & fixes
• bd57a976a8 haha oops forgot some \{}
• 221b69e8e8 tweak test formatting
• de3e13bad8 support notes/comments in test output
• 2b756ae1bb tiny tweak
• Compare 9 commits »

1 day ago

rhi pushed to main at rhi/gallery

• e7384bc1ed cap gallery images to 2000px

4 days ago

rhi pushed to main at rhi/misc

• 9f084fcd32 full disclosure i have never used c-style getopt before

6 days ago

rhi pushed to main at rhi/misc

• 48763d2fed bluh

6 days ago

rhi pushed to main at rhi/yummy.cricket

• 06b7ff54b6 more comm page stuff
• 1b9de6ce23 gallery sites
• Compare 2 commits »

1 week ago

rhi pushed to main at rhi/yummy.cricket

• d6c63e4aaf start of comm page

1 week ago

rhi pushed to main at rhi/quox

• cde2a9b0d6 derive impls where possible
• 274ecfb58c normalizeNfc
• Compare 2 commits »

2 weeks ago

rhi pushed to main at rhi/quox

• c743a99356 char class stuff

2 weeks ago

rhi pushed to main at rhi/quox

• df24e7241c char class stuff

2 weeks ago

rhi pushed to main at rhi/quox

• 123e4b6ab4 general categories

2 weeks ago

rhi pushed to main at rhi/quox

• 78c29848c0 general categories

2 weeks ago