I'm on holiday for a month, there's nothing to do other than practice calisthenics and waste time on useless programming ideas!
https://wiki.xxiivv.com/etc/rejoicerepl/index.html#reversible_product
0 Boosts
0 Likes
@jack are you also working on your handstands by any chance?
@neauoire I don't think t is necessary here (also since the value of t ends up being the same as the original value of y, I think it makes the reversible computation less interesting since the inputs are effectively still around before you call lum)
@mia without t, it will fail reversion if x or y is zero.
@neauoire oh, good point (although it does work if y = 0. the only complicated case is x = 0)
@mia yeah, it's kind of interesting to see what breaks with reversion, I'm stayed away from labels for a bit, but I would love to write a kind of program validator that tells me if a program is reversible or not, I've been collecting notes on that recently.
@neauoire Same, same