AF alisa
0 Followers · 0 Following
  • Joined on 2022-08-18
Projects Packages Public Activity
39 contributions in the last 12 months
JulAugSepOctNovDecJanFebMarAprMayJunMonWedFri
Less
More
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
alisa pushed to main at PTV/radn-rs 2023-03-11 23:16:25 +00:00
a76b29abb9 new test sample
alisa pushed to main at PTV/radn-rs 2023-03-11 04:41:57 +00:00
445fa00165 lifetimes + FutureClass