Tesla (Yinsen) Ice Zhangagdacubicold

Ld Nclusion - η-rules and codata

published Feb 17 2021, 16:42

Open Squares can be Capped

published Feb 17 2021, 16:37

Cubical Agda: a cold Introduction

published Feb 17 2021, 16:37

Paths and Intervals

published Feb 16 2021, 17:31

Squares and Diagonals

published Feb 16 2021, 17:31

Inductive Types with Path Constructors

published Feb 16 2021, 17:30