Search
❯
15 Apr 20261 min read
Extension of inductive-inductive types adding higher path constructors.