rhi
- Joined on Jun 10, 2020
Loading Heatmap…
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
-
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/misc
-
9f084fcd32 full disclosure i have never used c-style getopt before
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/quox
-
cde2a9b0d6 derive impls where possible
-
274ecfb58c normalizeNfc
- Compare 2 commits »
2 weeks ago