Search
❯
13 May 20261 min read
Extension of inductive-inductive types adding higher path constructors.