AF alisa

0 Followers · 0 Following

• Joined on 2022-08-18

Repositories

2

Projects Packages Public Activity Starred Repositories

8

alisa pushed to master at PTV/v6d2ctx 2023-03-28 03:03:57 +00:00

226bf1b6ad proper KeyError handling in of

alisa pushed to main at PTV/radn-rs 2023-03-26 18:49:25 +00:00

504c0abc4c impls in tests

alisa pushed to main at PTV/radn-rs 2023-03-26 17:58:27 +00:00

5d9a0a10df remove useless compose

3ac3def389 Haskellian fmap

Compare 2 commits »

alisa pushed to main at PTV/radn-rs 2023-03-26 11:59:52 +00:00

6aa149ee6a impl sugar

alisa pushed to master at PTV/builtup4 2023-03-25 10:02:16 +00:00

7e486b2862 rename src to std

alisa pushed to main at PTV/radn-rs 2023-03-17 09:26:59 +00:00

f82020f766 CompositionClass + two RCs

alisa pushed to main at PTV/sharelatex 2023-03-17 05:28:58 +00:00

b95592b0d2 remove unnecessary ports

alisa created branch main in PTV/sharelatex 2023-03-17 05:27:53 +00:00

alisa pushed to main at PTV/sharelatex 2023-03-17 05:27:53 +00:00

844c898e9c full build

alisa created repository PTV/sharelatex 2023-03-17 05:26:53 +00:00

alisa pushed to master at PTV/builtup4 2023-03-16 10:31:08 +00:00

9ef7bc0543 ETraceable + better call optimizations

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

bfd7f95407 derivation sacrificed

alisa pushed to main at PTV/radn-rs 2023-03-13 00:22:53 +00:00

0a4f00a172 CarriesType + partial core

alisa pushed to main at PTV/radn-rs 2023-03-12 20:47:51 +00:00

00c5239ce5 ResultClass + better lifetimes + less matches

alisa pushed to main at PTV/radn-rs 2023-03-12 20:04:44 +00:00

b264389cbf some docs + clippy fixes

alisa pushed to main at PTV/radn-rs 2023-03-12 10:44:01 +00:00

28f53fb698 xrcs excluded

alisa pushed to main at PTV/radn-rs 2023-03-12 08:31:13 +00:00

bd349c96e8 CloneFunctor

alisa pushed to main at PTV/radn-rs 2023-03-12 08:14:39 +00:00

d3ec497ec4 CopyMonad

alisa pushed to main at PTV/radn-rs 2023-03-12 06:49:06 +00:00

ce63e3a1dd no more 'static

alisa pushed to main at PTV/radn-rs 2023-03-12 06:41:35 +00:00

18f3001e3f MonadFail + LazyClass