A language based on homotopy type theory with an interval
Why do you think that https://github.com/ekmett/monadic-arrays is a good alternative to hoq
A language based on homotopy type theory with an interval
Why do you think that https://github.com/ekmett/monadic-arrays is a good alternative to hoq