rhi
0 followers · 0 following
  • Joined on 2020-06-11
Repositories
31
 Projects Packages Public activity Starred repositories
rhi pushed to main at rhi/quox 2022-05-04 18:49:06 +02:00
5ee637cf4d update makefile
d61101f786 nix cleanup
f5f2c4399e move lib to subdir
Compare 3 commits »
rhi pushed to main at rhi/quox 2022-05-04 17:09:54 +02:00
7f415328a2 wip nix
4973ce15bd add some keywords
96e81584b6 isCons → NonEmpty
2d7110b9c6 tokens in separate file
Compare 4 commits »
rhi pushed to main at rhi/quox 2022-05-04 04:35:51 +02:00
38ecabdda8 numbers with bases
rhi pushed to main at rhi/quox 2022-05-04 04:12:45 +02:00
5a8a95e436 numbers with bases
rhi pushed to main at rhi/quox 2022-05-04 03:16:09 +02:00
258b0f9f7f numbers with bases
rhi pushed to main at rhi/quox 2022-05-04 00:49:23 +02:00
e13cd50175 pokes in TAP
fa5beb4e2b decimal numbers
699c6a5ca1 token stuff
a510737462 .gitignore
Compare 4 commits »
rhi pushed to main at rhi/quox 2022-05-02 22:40:59 +02:00
ce3342f330 deriving
ba3612d836 %default total
Compare 2 commits »
rhi pushed to main at rhi/quox 2022-05-02 20:51:26 +02:00
9ae0e36a65 time for sirdi
rhi pushed to main at rhi/quox 2022-05-02 17:13:17 +02:00
f503cf5734 start some lexer stuff
df3505a04c use vars in makefiles i guess
434f0e08d1 make skip functions make more sense
Compare 3 commits »
rhi pushed to main at rhi/gallery 2022-05-02 16:47:06 +02:00
40631ceac5 make gallery badges more visible
81b342a0c4 use category names when unambiguous
Compare 2 commits »
rhi pushed to main at rhi/quox 2022-05-02 00:21:38 +02:00
e3384d4e6e support TAP 13 for /usr/bin/prove's benefit
rhi pushed to main at rhi/quox 2022-05-02 00:20:01 +02:00
d2bb4075ee support TAP 13 for /usr/bin/prove's benefit
cf119694c1 move executable to subdir
Compare 2 commits »
rhi pushed to main at rhi/quox 2022-04-30 14:35:04 +02:00
874187f252 some bibs
rhi pushed to main at rhi/gallery 2022-04-28 21:58:25 +02:00
6a1995d656 style the nature-affected pokémon stats
32f308d7f6 allow separate title in gallery e.g. to avoid spoilers
Compare 2 commits »
rhi pushed to main at rhi/quox 2022-04-27 22:59:05 +02:00
9e76bcc765 check quantites of subject and global
rhi pushed to main at rhi/quox 2022-04-27 21:58:20 +02:00
468c3a4c6a grtt -> qtt
rhi pushed to main at rhi/quox 2022-04-27 20:10:53 +02:00
45825ebc17 makefiles. again
1eace0039e a few tests
6bffd6a11c add converse υ rule for elim
81e1f331e0 move main to ./Main.idr
Compare 4 commits »
rhi pushed to main at rhi/quox 2022-04-27 15:11:24 +02:00
66c96cb3c4 %inline, etc
a690ca1277 return an exit code from TAP.run
d062f79176 fix yaml doc indent
d74b056e11 put single line yaml info on one line
bcd4544692 Show Quox.Equal.Mode
Compare 7 commits »
rhi pushed to main at rhi/quox 2022-04-26 19:18:35 +02:00
d28366c90b add TAP framework. if you could call it that
rhi pushed to main at rhi/quox 2022-04-26 19:06:27 +02:00
cc45fb7a08 add TAP framework. if you could call it that