Hoq
A language based on homotopy type theory with an interval
Install / Use
/learn @valis/HoqREADME
hoq
A language based on homotopy type theory with an interval
A language based on homotopy type theory with an interval
/learn @valis/HoqA language based on homotopy type theory with an interval
