AF alisa

0 Followers · 0 Following

• Joined on 2022-08-18

Repositories

2

Projects Packages Public Activity Starred Repositories

8

alisa pushed to main at PTV/radn-rs 2023-10-15 14:33:51 +00:00

30497ac69c tuple_can_be_expressed_via_la2

alisa pushed to main at PTV/radn-rs 2023-10-15 14:31:02 +00:00

57cbffe014 fix void test error

alisa pushed to main at PTV/radn-rs 2023-10-15 14:29:55 +00:00

e8c778fa0d move void test

alisa pushed to main at PTV/radn-rs 2023-10-15 14:26:44 +00:00

f8d8a77b1f void_can_be_exressed_via_replace

alisa pushed to main at PTV/radn-rs 2023-10-15 14:18:26 +00:00

ad5361cfbf lazy tests

alisa pushed to main at PTV/radn-rs 2023-10-15 14:16:45 +00:00

655e33768f future test

alisa pushed to main at PTV/radn-rs 2023-10-15 14:09:46 +00:00

43f20710a4 derive shared result

alisa pushed to main at PTV/radn-rs 2023-10-15 14:06:45 +00:00

e83f170dda fix result discard_second

alisa pushed to main at PTV/radn-rs 2023-10-15 13:51:11 +00:00

3a87bff32f re-export ext as _

alisa pushed to main at PTV/radn-rs 2023-10-15 13:37:40 +00:00

87451d6cb6 balanced_bound

alisa pushed to main at PTV/radn-rs 2023-10-15 13:13:16 +00:00

89af9d1084 different_singulars_not_equal

alisa pushed to main at PTV/radn-rs 2023-10-15 13:04:31 +00:00

32a89e4105 reference_equal_to_itself

alisa pushed to main at PTV/radn-rs 2023-10-15 12:53:05 +00:00

67833ca7bf can_refer_to_singular

alisa pushed to main at PTV/radn-rs 2023-10-15 12:52:54 +00:00

b1cdb4f3fb cannot_refer_to_empty

alisa pushed to main at PTV/radn-rs 2023-10-15 12:45:49 +00:00

edbff39ae2 one_has_height_1

alisa pushed to main at PTV/radn-rs 2023-10-15 12:13:41 +00:00

16fbbbd16d empty_has_height_0

alisa pushed to main at PTV/radn-rs 2023-10-15 12:10:56 +00:00

bc3d33673f ord/eq for AtomicObject

alisa pushed to main at PTV/radn-rs 2023-10-15 11:53:14 +00:00

03808158eb fix generic derive bounds

alisa pushed to main at PTV/radn-rs 2023-10-15 11:48:17 +00:00

8473208362 test stackless iteration

alisa pushed to main at PTV/radn-rs 2023-10-15 11:33:01 +00:00

8818d0c53e count in trace example