Reorganize proof that discrete types are Segal#137
Merged
emilyriehl merged 7 commits intorzk-lang:mainfrom TashiWalde:left-anodyneNov 17, 2023
+241-188
Commits
Commits on Nov 9, 2023
authored andTashi WaldecommittedTashi Walde- authored andTashi WaldecommittedTashi Walde
- authored andTashi WaldecommittedTashi Walde
Commits on Nov 10, 2023
- authored andTashi WaldecommittedTashi Walde
Commits on Nov 11, 2023
- authored andTashi WaldecommittedTashi Walde
- authored andTashi WaldecommittedTashi Walde
Commits on Nov 17, 2023
- authoredEmily Riehl