Lukas Stoll

Modalities

1

I started another implementation of modal operators and modalities, more closely modelend on the canonical resource for modalities in HoTT: https://arxiv.org/abs/1706.07526 Maybe this should be unified with the existing implementations...