Post #1692977

@olynch @danielgratzer @bentnib There’s several papers doing this in MTT… I think the coolest one is here: https://www.danielgratzer.com/papers/a-modal-deconstruction-of-loeb-induction.pdf