school/type-theory
2
0
Fork 0
Code Issues 11 Pull requests Actions Packages Projects 1 Releases Wiki Activity

front matter yml

Browse source
This commit is contained in:
Michael Zhang 2023-05-08 22:44:03 -05:00
parent e71aa3e060
commit 0696c713f7
1 changed files with 11 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
src/2023-05-06-equiv.lagda.md
View file

@ -1,11 +1,14 @@
+++ ---
title = "Equivalences" title: "Equivalences"
slug = "equivalences" slug: "equivalences"
date = 2023-05-06 date: 2023-05-06
tags = ["type-theory", "agda", "hott"] tags:
math = true - type-theory
draft = true - agda
+++ - hott
math: true
draft: true
---
<details> <details>
<summary>Imports</summary> <summary>Imports</summary>