AF alisa
  • Joined on 2022-08-18
alisa pushed to main at PTV/radn-rs 2023-05-02 00:49:26 +00:00
21e4496201 ch04 reorg
alisa pushed to main at PTV/radn-rs 2023-04-30 13:38:59 +00:00
509ffacd4c "concerns" chapter
alisa pushed to master at PTV/ptvp35 2023-04-28 09:52:23 +00:00
360462287f .dockerignore compilation artifacts
alisa pushed to master at PTV/v6d3music 2023-04-28 09:51:39 +00:00
da8a5dbcee better exceptions
alisa pushed to master at PTV/v6d3vote 2023-04-28 09:51:02 +00:00
21411d5f9a replace option with |None
alisa closed issue PTV/radn-rs#9 2023-04-27 08:15:45 +00:00
Iterative bind with the argument integrated
alisa pushed to main at PTV/radn-rs 2023-04-27 08:15:45 +00:00
4fe248f77b Monad::iterate
alisa pushed to main at PTV/radn-rs 2023-04-27 07:48:10 +00:00
38f6aef9d0 Iterative -> AIterative
alisa pushed to main at PTV/radn-rs 2023-04-27 07:40:08 +00:00
2a2ea431ac Iterative docs fix
alisa opened issue PTV/radn-rs#9 2023-04-27 07:39:16 +00:00
Iterative bind with the argument integrated
alisa closed issue PTV/radn-rs#8 2023-04-27 07:33:57 +00:00
Better iterative bind, with at most one break
alisa pushed to main at PTV/radn-rs 2023-04-27 07:33:57 +00:00
a791fb818f iibind
ee131e7446 limit ControlFlowClass visibility
Compare 2 commits »
alisa opened issue PTV/radn-rs#8 2023-04-27 05:48:23 +00:00
Better iterative bind, with at most one break
alisa pushed to main at PTV/radn-rs 2023-04-27 05:30:06 +00:00
b5d55fe672 CovariantFunctor for testing classes
alisa closed issue PTV/radn-rs#6 2023-04-27 05:26:10 +00:00
Replace IState with ControlFlow
alisa pushed to main at PTV/radn-rs 2023-04-27 05:26:10 +00:00
73e9b9efb3 ControlFlow
alisa pushed to main at PTV/radn-rs 2023-04-27 04:57:16 +00:00
b05326089d derive(CovariantFunctor)
a691f6d8b7 CovariantFunctor for CompositionClass
4d1202d399 CovariantFunctor
Compare 3 commits »
alisa opened issue PTV/radn-rs#7 2023-04-27 04:15:24 +00:00
Figure out lifetime covariance
alisa opened issue PTV/radn-rs#6 2023-04-27 04:13:33 +00:00
Replace IState with ControlFlow
alisa pushed to main at PTV/radn-rs 2023-04-26 22:02:53 +00:00
431b5f01f9 book edit