Commit 5a92d3c

authored

Add Rezk Completion by HIT

1 parent e8ff0c1 commit 5a92d3cCopy full SHA for 5a92d3c

1 file changed

+406

-4

lines changed

Cubical/Categories/RezkCompletion
- Construction.agda

1 file changed

+406

-4

lines changed

Comments

(0)