3 ms·
There is the TARDIS monad in Haskell https://hackage.haskell.org/package/tardis-0.5.0/docs/Control-Monad-Tardis.html https://hackage.haskell.org/package/tardis-
by Mathnerd314 2y ago
There is the TARDIS monad in Haskell https://hackage.haskell.org/package/tardis-0.5.0/docs/Control-Monad-Tardis.html https://hackage.haskell.org/package/tardis-0.5.0/docs/Contro... It doesn't have the multiple timelines or killing features - it just deadlocks if there is a paradox or the timeline is inconsistent.