function types into local families

rzk-lang · Jul 30, 2024 · eb7fe77 · eb7fe77
1 parent 27e74e2
commit eb7fe77
Show file tree

Hide file tree

Showing 4 changed files with 119 additions and 505 deletions.
diff --git a/rzk.yaml b/rzk.yaml
@@ -1,4 +1,3 @@
 include:
   - src/hott/**/*.rzk.md
   - src/simplicial-hott/**/*.rzk.md
-  - src/2Segal/**/*.rzk.md