> The univalence axiom says that two types are equal if we can convert their values back and forth (without loss of information). So strings are equivalent to

> The univalence axiom says that two types are equal if we can convert their values back and forth (without loss of information). So strings are equivalent to everything, and vice-versa. > Now, the issue is that currently we don't actually have a computational interpretation for the univalence axiom JSON? Sexps?