Commit graph

229 commits

Author SHA1 Message Date
c0222459c3 auto gitdoc commit 2024-04-22 04:06:05 +00:00
5ed0e3ac96 auto gitdoc commit 2024-04-22 03:59:19 +00:00
662cf3100d auto gitdoc commit 2024-04-22 03:55:56 +00:00
9a3b5589b5 auto gitdoc commit 2024-04-22 03:54:12 +00:00
fab11e6119 auto gitdoc commit 2024-04-22 03:50:55 +00:00
4fedf3d1a3 auto gitdoc commit 2024-04-22 03:47:36 +00:00
472de45abd auto gitdoc commit 2024-04-22 03:45:53 +00:00
0de6181beb auto gitdoc commit 2024-04-22 03:44:08 +00:00
46ae45600b auto gitdoc commit 2024-04-22 03:42:15 +00:00
6bce930a23 auto gitdoc commit 2024-04-22 03:41:28 +00:00
99100fdda1 auto gitdoc commit 2024-04-22 03:40:44 +00:00
a860168968 auto gitdoc commit 2024-04-22 03:39:40 +00:00
6d899fd08d auto gitdoc commit 2024-04-22 03:36:58 +00:00
d48ae4c0c8 auto gitdoc commit 2024-04-22 03:34:11 +00:00
7dfdab1973 auto gitdoc commit 2024-04-22 03:28:04 +00:00
06f75cda72 auto gitdoc commit 2024-04-22 03:27:03 +00:00
4ecd3f7c93 auto gitdoc commit 2024-04-22 03:24:01 +00:00
9617c7ae9b auto gitdoc commit 2024-04-22 03:21:50 +00:00
20c17bdd36 auto gitdoc commit 2024-04-22 03:16:03 +00:00
49cda94b51 auto gitdoc commit 2024-04-22 03:14:01 +00:00
9ff5bcc30b auto gitdoc commit 2024-04-22 03:12:44 +00:00
b1c849c538 auto gitdoc commit 2024-04-22 03:00:13 +00:00
fc151b6421 auto gitdoc commit 2024-04-22 02:57:11 +00:00
9b55a90c5e auto gitdoc commit 2024-04-22 02:55:44 +00:00
a96dd16303 auto gitdoc commit 2024-04-22 02:54:10 +00:00
4570b38382 auto gitdoc commit 2024-04-22 02:51:58 +00:00
2d8f88d69a auto gitdoc commit 2024-04-22 02:47:47 +00:00
c01f5b6524 auto gitdoc commit 2024-04-22 02:43:58 +00:00
f9502897f8 auto gitdoc commit 2024-04-22 02:42:07 +00:00
23341ba529 auto gitdoc commit 2024-04-22 02:39:21 +00:00
402ddc0bda auto gitdoc commit 2024-04-22 02:36:11 +00:00
ff844789bf auto gitdoc commit 2024-04-22 02:33:43 +00:00
faf91c288b auto gitdoc commit 2024-04-22 02:31:11 +00:00
e5ab040c54 auto gitdoc commit 2024-04-22 02:28:00 +00:00
88fcab2a06 auto gitdoc commit 2024-04-22 02:22:34 +00:00
cc2bff5cb1 auto gitdoc commit 2024-04-22 02:21:09 +00:00
0cb341072c auto gitdoc commit 2024-04-22 02:07:10 +00:00
61649a0c57 auto gitdoc commit 2024-04-22 02:05:35 +00:00
dc32aadeb3 auto gitdoc commit 2024-04-22 01:49:22 +00:00
2e416a404f auto gitdoc commit 2024-04-22 01:45:52 +00:00
abde273e80 auto gitdoc commit 2024-04-22 01:44:06 +00:00
b99ce50aac auto gitdoc commit 2024-04-22 01:39:32 +00:00
c10e2405f8 auto gitdoc commit 2024-04-22 01:37:40 +00:00
c642f47288 auto gitdoc commit 2024-04-22 01:36:03 +00:00
f68001e728 auto gitdoc commit 2024-04-22 01:27:51 +00:00
517764f549 auto gitdoc commit 2024-04-22 01:25:56 +00:00
51de4c64e8 auto gitdoc commit 2024-04-22 01:24:08 +00:00
47a3a63375 waht 2023-12-22 10:20:33 -06:00
39e38719bf bidir paper 2023-10-06 02:22:44 -04:00
97a3ead49e agda bug 2023-08-05 05:58:45 -04:00