An Agda development of set theory inside homotopy type theory.
Vue-komponent for å vise bøyninger av ord
