/OmegaCats

Development of weak omega cats in Agda