Skip to content

get rid of make_laterable in atomic triples

Ralf Jung requested to merge jung/iris:sane-logatom into master

Now that later credits are available, we can finally get rid of this terrible hack that is make_laterable in atomic triples. I can barely express how happy this makes me. :-)

This makes the entire 'laterable' module unused in Iris itself. However it could still be useful so we probably shouldn't just delete it.

TODO:

Edited by Ralf Jung

Merge request reports