« first day (1389 days earlier)      last day (973 days later) » 

Vyxal Bot
Vyxal Bot
00:21
chunkybanana merged PR #1168 (Vyxal/Vyxal) (Vyxal:improve-the-behaviour-of-½ → Vyxal:main): Improve the behaviour of `½`
chunkybanana deleted branch Vyxal/improve-the-behaviour-of-½
 
4 hours later…
Vyxal Bot
Vyxal Bot
04:10
Lyxal approved on PR #1194 (Vyxal/Vyxal)
Steffan153 closed issue #1193 in Vyxal/Vyxal: `fixed_point` should not use `simplify`
Steffan153 merged PR #1194 (Vyxal/Vyxal) (Vyxal:fix-fixed-point → Vyxal:main): Fix fixed-point
Steffan153 deleted branch Vyxal/fix-fixed-point

« first day (1389 days earlier)      last day (973 days later) »