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